diff options
| author | hallgren <hallgren@chalmers.se> | 2011-11-21 15:24:29 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-11-21 15:24:29 +0000 |
| commit | d66110f84eec765bb26ebaa716bbce79d6c90913 (patch) | |
| tree | c8b07e3c7233bb6b340d348b34e1409325b0f213 /src/www/gfse/editor.css | |
| parent | e9e029d39f5117f233823acc5a2e04f79827529e (diff) | |
gfse: example-based: some usability improvements
Instead of showing nothing, show disabled buttons and some expanatory text to
provide guidance for users getting started with example-based grammar writing.
Diffstat (limited to 'src/www/gfse/editor.css')
| -rw-r--r-- | src/www/gfse/editor.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index ef12fe8f5..ec92a8e01 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -52,7 +52,7 @@ div.template:hover .edit { color: orange; } .delete { color: red; } .error_message,.inError { color: red; } -.template, .template .sep { color: #999; } +.template, .template .sep, .unimportant { color: #999; } form { display: inline-block; } table.tabs { |