Tweak button styles.

jupyterlab · Aug 16, 2017 · 529c3c4 · 529c3c4
1 parent 3b9eb7d
commit 529c3c4
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/packages/settingeditor-extension/style/settingeditor.css b/packages/settingeditor-extension/style/settingeditor.css
@@ -91,13 +91,28 @@
 
 
 #setting-editor .jp-PluginList-switcher button {
+  background: var(--jp-layout-color2);
+  color: var(--jp-ui-font-color3);
+  border: 0;
+  border-bottom: 1px solid var(--jp-ui-font-color3);
   margin: 0;
   padding: 0;
   height: var(--jp-private-settingeditor-switcher-height);
   width: 50%;
 }
 
 
+#setting-editor .jp-PluginList-switcher button:first-child {
+  border-right: 1px solid var(--jp-ui-font-color3);
+}
+
+
+#setting-editor .jp-PluginList-switcher button:disabled {
+  background: var(--jp-layout-color1);
+  color: var(--jp-ui-font-color0);
+}
+
+
 #setting-editor .jp-PluginList ul {
   background-color: var(--jp-layout-color1);
   color: var(--jp-ui-font-color1);