From b8e3fe7bc099d3ee09f1c5dfe05fab1fd73afed1 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Fri, 11 Jan 2013 15:33:17 +0000 Subject: 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. --- src/www/syntax-editor/editor.css | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src/www/syntax-editor/editor.css') 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; } -- cgit v1.2.3