diff options
| author | hallgren <hallgren@chalmers.se> | 2012-10-18 12:48:39 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-10-18 12:48:39 +0000 |
| commit | 9a022a141ebcd0228cbc75aaadf32e7d1b84f207 (patch) | |
| tree | 4502b7b12c0249b3917298a82a532a713e297bbe /src/www/gfse/editor.css | |
| parent | 36dd5502aa86cdf3ae9b730dd174eb91e9f41b8d (diff) | |
gfse: grammars can now contain one-line descriptions
Also fixed two small problems with public grammars.
Diffstat (limited to 'src/www/gfse/editor.css')
| -rw-r--r-- | src/www/gfse/editor.css | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index 6d605b3ab..6f11004cb 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -45,6 +45,9 @@ div.namebar table { width: 100%; } .namebar h3, .sheet h3 { margin: 0; color: #009; } .home h3 { margin-top: 0; color: #009; } +div.comment:before { content: "-- "; } +div.comment { color: #009; margin-left: 1em; } + td.right { text-align: right; } td.center { text-align: center; } |