diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-01-11 15:33:17 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-01-11 15:33:17 +0000 |
| commit | b8e3fe7bc099d3ee09f1c5dfe05fab1fd73afed1 (patch) | |
| tree | bdea3f8224ba39bd85f6ca4c1f849113765393ef /src/www/syntax-editor/editor.css | |
| parent | be5a313372fbafa13f8f45357b9ee3a84d18b10f (diff) | |
Syntax editor: initial support for string literals
Also a bug fix when switching to editor, although this still messes up
when using the letters grammar.
Also updated readme with options, and some style improvements.
Diffstat (limited to 'src/www/syntax-editor/editor.css')
| -rw-r--r-- | src/www/syntax-editor/editor.css | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/www/syntax-editor/editor.css b/src/www/syntax-editor/editor.css index 6a23c5bd4..263665bab 100644 --- a/src/www/syntax-editor/editor.css +++ b/src/www/syntax-editor/editor.css @@ -1,4 +1,4 @@ -body.syntax-editor { +body { background: #ccc url("../minibar/brushed-metal.png"); } @@ -124,3 +124,9 @@ body.syntax-editor { padding: 1em; } +/* From http://www.grammaticalframework.org/css/style.css */ +.about table { border-collapse: collapse; } +.about th, +.about td { border: 1px solid #333; padding:0 5px; } +.about td { background: white; } +.about th { background: #9df; } |