diff options
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; } |