gfse: style sheet fixes

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; }

src/www/gfse/molto.css

@@ -1,13 +1,18 @@
-body { color: #413b36;
+body { color: #413b36; background: #fffcfa; }
-       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; }
+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");
+}