GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-21 02:39:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

gfse: style sheet fixes

Browse Source
This commit is contained in:
hallgren
2012-02-16 16:17:34 +00:00
parent 2ad8625dbe
commit 961290d651
2 changed files with 41 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/www/gfse/editor.css
View File

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

41
src/www/gfse/molto.css
View File

@@ -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; }
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");
}