diff --git a/static/config.less b/static/config.less index ddebb5fd4..063ca1de2 100644 --- 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 {