diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-15 17:35:09 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-15 17:35:09 +0000 |
| commit | 7cac11c8e8b8338a5e8fd69eb0ae8615d22bca6d (patch) | |
| tree | b85d9e02d333046a12fd3cfd7c84d12bce366160 /src/www/gfse/editor.css | |
| parent | 1a6460681996bd1d7b896b2bcf208bd0177c51ff (diff) | |
gfse: more work on grammar extension
Grammars can now inherit from several other grammars.
Hovering over a catagory name in a function type in the abstract syntax
shows where the category was inherited from.
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 eab702d99..346a77128 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -64,7 +64,7 @@ table.tabs { border-width: 0; border-spacing: 0; empty-cells: show; } -table.tabs td { text-align: center; border: 2px solid #009; padding: 2px; } +table.tabs td { text-align: center; border: 2px solid #009; padding: 2px; white-space: nowrap; } table.tabs td.active { background: white; border-bottom-width: 0; } table.tabs td.inactive { background: #cef; |