浏览代码

HUE-4478 [editor] Style the editor settings panel

Enrico Berti 9 年之前
父节点
当前提交
2c748b0
共有 1 个文件被更改,包括 20 次插入1 次删除
  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;
+}