diff options
| author | hallgren <hallgren@chalmers.se> | 2015-05-18 13:16:45 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-05-18 13:16:45 +0000 |
| commit | 9d21b73a81297043b75866ee76c4edf2ae578dd3 (patch) | |
| tree | fcd4a7306e2aacdd0336de4ca2481f3a293a8e7b /src/www/gfse/editor.css | |
| parent | b4e41cabddd2d7f48b73e9122171575d7e43bd6e (diff) | |
GF cloud: updated lists of supported RGL languages and some minor style updates
Diffstat (limited to 'src/www/gfse/editor.css')
| -rw-r--r-- | src/www/gfse/editor.css | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index c6973f2d5..22805b990 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -33,9 +33,11 @@ table.extension td { border-left-width: 0; min-width: 30em; } .slideshow .hidden { display: none; } -img.cloud, img.right, div.right, div.modtime { float: right; } +img.cloud, img.right, div.right, div.modtime, div.version { float: right; } -.modtime { color: #999; white-space: nowrap; } +div.modtime >small { visibility: hidden; } +div.modtime:hover >small { visibility: visible; } +.modtime,.version { color: #999; white-space: nowrap; } table.grammar_list { border-collapse: collapse; margin-left: 1.0em; } table.grammar_list td { padding: 0.4ex 0.25em; } @@ -116,7 +118,7 @@ table.tabs input[type=button], table.matrixview th input[type=button] { .string_edit { font-family: inherit; font-size: inherit; } textarea.string_edit { vertical-align: top; } -ul.languages { -moz-column-width: 20em; } +ul.languages { -moz-column-width: 10em; } li { margin-top: 0.5ex; margin-bottom: 0.5ex; } |