From 7cac11c8e8b8338a5e8fd69eb0ae8615d22bca6d Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 15 Feb 2012 17:35:09 +0000 Subject: 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. --- src/www/gfse/editor.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/www/gfse/editor.css') 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; -- cgit v1.2.3