diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-29 19:15:30 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-29 19:15:30 +0000 |
| commit | 3c900ee6a3a31ba8a438d876ad8cfd352e97608a (patch) | |
| tree | 3359fc45cdaebbcc9a7c269094ac7ccf5564e49c /src/www/minibar/minibar.css | |
| parent | 8c22a380f749514fdee246163bd4c7355b8f1faa (diff) | |
minibar: add a button to get detailed grammar info
After pressing the "i" button to view grammar info, there is now a
"More info" button to get more detailed information about all categories and
functions in the grammar.
Diffstat (limited to 'src/www/minibar/minibar.css')
| -rw-r--r-- | src/www/minibar/minibar.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/www/minibar/minibar.css b/src/www/minibar/minibar.css index 4766f79f8..03a75a2de 100644 --- a/src/www/minibar/minibar.css +++ b/src/www/minibar/minibar.css @@ -82,3 +82,8 @@ span.brackets { div.brackets .token { padding: 0 0.5ex; } + +div.browse, table.browse td { + background: white; + padding: 2px; +} |