diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-23 15:03:36 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-23 15:03:36 +0000 |
| commit | d9867893f83c801b37a4fe0acf0fa7289e857031 (patch) | |
| tree | 33af1fe9716a507a6047148441ae9a749e238def /src/www/syntax-editor/editor.css | |
| parent | 9e430184ba5063110e5ec72c6137e4d38f92e206 (diff) | |
Syntax editor: now uses common GrammarManager object
Diffstat (limited to 'src/www/syntax-editor/editor.css')
| -rw-r--r-- | src/www/syntax-editor/editor.css | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/www/syntax-editor/editor.css b/src/www/syntax-editor/editor.css index 2b5d5a6d1..2257db6e8 100644 --- a/src/www/syntax-editor/editor.css +++ b/src/www/syntax-editor/editor.css @@ -1,4 +1,4 @@ -body.syntax_editor { +body.syntax-editor { background: #ccc url("../minibar/brushed-metal.png"); } @@ -74,3 +74,13 @@ body.syntax_editor { background: white; } +#debug +{ + font: 10px monospace; + white-space: pre; + color: #333; + margin: 1em 0; + border: 1px dashed #999; + padding: 1em; + } + |