diff options
| author | hallgren <hallgren@chalmers.se> | 2011-03-28 15:04:43 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-03-28 15:04:43 +0000 |
| commit | d1b95cef99c0c7d699987d090fd203e138b18223 (patch) | |
| tree | cd838b05bcf2de348516fdec49e8b9f8395d35ff /src/editor/simple/editor.css | |
| parent | 06a29cb5733b5523d6102eabe9578460d64d32d1 (diff) | |
gfse: somewhat simplified configuration/installation
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; } |