diff options
Diffstat (limited to 'src/editor/simple/editor.css')
| -rw-r--r-- | src/editor/simple/editor.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/editor/simple/editor.css b/src/editor/simple/editor.css index a1f48d32c..7bce43c3f 100644 --- a/src/editor/simple/editor.css +++ b/src/editor/simple/editor.css @@ -4,7 +4,7 @@ h1,h2,h3,h4,small { font-family: sans-serif; } h1:first-child, h2:first-child { margin-top: 0; margin-bottom: 1ex; } #editor { max-width: 50em; } -div.grammar { border: 1px solid black; background: white; background: #9df; } +div.grammar { border: 1px solid black; background: #9df; } div.files { margin: 0 8px 8px 8px; } div#file { border: 2px solid #009; border-top-width: 0; } |