Merge pull request #1986 from blink1073/jsoneditor-style

JSON Editor Fixes

packages/codeeditor/style/index.css

@@ -6,7 +6,7 @@
 |----------------------------------------------------------------------------*/
 
 
-.jp-ObservableJSONWidget {
+.jp-JSONEditorWidget {
   padding-left: 10px;
   padding-right: 10px;
   display: flex;
@@ -15,7 +15,7 @@
 }
 
 
-.jp-ObservableJSONWidget-host {
+.jp-JSONEditorWidget-host {
   flex: 1 1 auto;
   border: var(--jp-border-width) solid #cfcfcf;
   border-radius: 0px;
@@ -24,13 +24,13 @@
 }
 
 
-.jp-ObservableJSONWidget.jp-mod-error .jp-ObservableJSONWidget-host {
+.jp-JSONEditorWidget.jp-mod-error .jp-JSONEditorWidget-host {
   border-color: red;
   outline-color: red;
 }
 
 
-.jp-ObservableJSONWidget-buttons {
+.jp-JSONEditorWidget-buttons {
   font-family: FontAwesome;
   flex: 1 0 auto;
   min-height: 13px;
@@ -38,14 +38,14 @@
 }
 
 
-.jp-ObservableJSONWidget-commitButton::before {
-  content: '\f0c7'; /* save */
+.jp-JSONEditorWidget-commitButton::before {
+  content: '\f00c'; /* check */
   float: right;
   margin-right: 20px;
 }
 
 
-.jp-ObservableJSONWidget-revertButton::before {
+.jp-JSONEditorWidget-revertButton::before {
   content: '\f0e2'; /* undo */
   float: right;
   margin-right: 4px;

packages/notebook/style/index.css

@@ -239,13 +239,6 @@
 }
 
 
-.jp-MetadataEditorTool .jp-JSONEditorWidget {
-  background-color: white;
-  border: var(--jp-border-width) solid var(--jp-border-color1);
-  margin: 8px;
-}
-
-
 .jp-MetadataEditorTool .jp-JSONEditorWidget.jp-mod-collapsed {
   display: none;
 }