diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-09 18:00:36 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-09 18:00:36 +0000 |
| commit | 9dfab3d1878b96dc138387adb5ef3df593dff29e (patch) | |
| tree | 9b1ec3f424d9bfcb998933d7c5d3f82e90bf0a93 /src/www/gfse/editor.css | |
| parent | 7787c5d725bcd7c593d749364c5d4c9d12578571 (diff) | |
gfse: initial support for module extension
There is a new way to create a new grammar based on an existing grammar:
by extending it. (It is also possible to clone an existing grammar, a before.)
Diffstat (limited to 'src/www/gfse/editor.css')
| -rw-r--r-- | src/www/gfse/editor.css | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index ec92a8e01..302548371 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -17,6 +17,9 @@ div#file, pre.plain { background: white; padding: 0.6ex; } img.cloud, img.right, div.right, div.modtime { float: right; } .modtime { color: #999; white-space: nowrap; } +table.grammar_list { border-collapse: collapse; margin-left: 1.0em; } +table.grammar_list td { padding: 0.4ex 0.25em; } + div.namebar { background: #9df; } div.namebar table { width: 100%; } .namebar h3, .home h3 { margin: 0; color: #009; } @@ -45,7 +48,8 @@ div.template:hover .editable:hover, .deletable:hover { background: #ff9; } -.extensible:hover .more,.editable:hover > .edit ,.deletable:hover > .delete +.extensible:hover .more,.editable:hover > .edit ,.deletable:hover > .delete, + tr.deletable:hover .delete { visibility: visible; } .more { color: green; } |