Style editors like input fields

2026-01-22 21:38:10 -05:00 · 2013-04-26 12:05:32 -07:00
parent 655fec2f18
commit d1a26b9f81
1 changed files with 6 additions and 0 deletions
--- a/static/config.less
+++ b/static/config.less
@@ -40,6 +40,12 @@
    > div {
      -webkit-flex: 1;
    }
+
+    .editor {
+      padding-left: 0.25em;
+      border: 1px solid #aaa;
+      box-shadow: 1px 1px 1px 0 #888 inset;
+    }
  }

  #themes-config {