Browse Source

HUE-4478 [editor] Style the editor settings panel

Enrico Berti 9 years ago
parent
commit
2c748b0
1 changed files with 20 additions and 1 deletions
  1. 20 1
      desktop/libs/notebook/src/notebook/static/notebook/css/notebook.css

+ 20 - 1
desktop/libs/notebook/src/notebook/static/notebook/css/notebook.css

@@ -1189,4 +1189,23 @@ pre {
 
 .warning {
   color: #fdae6b;
-}
+}
+
+#ace_settingsmenu {
+  width: 350px;
+}
+
+#ace_settingsmenu label {
+  display: inline-block;
+  height: 31px;
+  line-height: 31px;
+}
+
+#ace_settingsmenu input {
+  margin-bottom: 0;
+}
+
+#ace_settingsmenu input[type='checkbox'] {
+  margin-right: 2px;
+  margin-top: 10px;
+}