diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index 346a77128..a9a273d36 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -1,9 +1,16 @@ -body { background: #eee; } +body { color: black; background: #eee; } h1 { font-size: 175%; } h1,h2,h3,h4,small { font-family: sans-serif; } h1:first-child, h2:first-child { margin-top: 0; margin-bottom: 1ex; } -#editor { max-width: 50em; } +#editor { + /* This allows the div to grow wider than the window if necessary to + accommodate the contents. Otherwise, wide things inside can poke + through the border. */ + display: table; + width: 100%; +} + div.home, div.grammar { border: 1px solid black; background: #9df; } div.home { padding: 5px; } div.files { margin: 0 8px 8px 8px; } diff --git a/src/www/gfse/molto.css b/src/www/gfse/molto.css index 052dda431..1d3300df3 100644 --- a/src/www/gfse/molto.css +++ b/src/www/gfse/molto.css @@ -1,13 +1,18 @@ -body { color: #413b36; - background: #fffcfa; - } +body { color: #413b36; background: #fffcfa; } h1 { font-size: 175%; } h1,h2,h3,h4,small { font-family: sans-serif; } h1,h2,h3,h4,a { color: #5c1a1a; } h1:first-child, h2:first-child { margin-top: 0; margin-bottom: 1ex; } -#editor { max-width: 50em; } +#editor { + /* This allows the div to grow wider than the window if necessary to + accommodate the contents. Otherwise, wide things inside can poke + through the border. */ + display: table; + width: 100%; +} + div.grammar { border: 2px solid #b09779; background: #642121; } div.files { margin: 0 8px 8px 8px; } @@ -17,9 +22,12 @@ div#file, pre.plain { background: #fffcfa; padding: 0.6ex; } .slideshow .hidden { display: none; } -img.right, div.right, div.modtime { float: right; } +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: #642121; }*/ div.namebar table { width: 100%; } .namebar h3 { margin: 0; color: white; } @@ -45,14 +53,15 @@ div.fun, div.param, div.lincat, div.oper, div.lin .editable:hover, .deletable:hover { background: #ff9; } .namebar .editable:hover { background: #04b; } -.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; } .edit { color: orange; } .delete { color: red; } .error_message,.inError { color: red; } -.template, .template .sep { color: #999; } +.template, .template .sep, .unimportant { color: #999; } form { display: inline-block; } table.tabs { @@ -60,7 +69,7 @@ table.tabs { border-width: 0; border-spacing: 0; empty-cells: show; } -table.tabs td { text-align: center; border: 2px solid #b09779; padding: 2px; } +table.tabs td { text-align: center; border: 2px solid #b09779; padding: 2px; white-space: nowrap; } table.tabs td.active { background: white; border-bottom-width: 0; } table.tabs td.inactive { background: #e1e1e1; @@ -79,4 +88,18 @@ table.tabs input[type=button] { /*text-decoration: underline;*/ } -input.string_edit { font-family: inherit; font-size: inherit; } \ No newline at end of file +input.string_edit { font-family: inherit; font-size: inherit; } + +ul.languages { -moz-column-width: 20em; } + +li { margin-top: 0.5ex; margin-bottom: 0.5ex; } + +#sharing h1, #sharing .footer { display: none; } + +div.compiler_output .back_to_editor { display: none; } + +div#minibar { + border: 1px solid black; + padding: 5px; + background: #ccc url("../minibar/brushed-metal.png"); +}