summaryrefslogtreecommitdiff
path: root/src/www/gfse/editor.css
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2012-10-04 15:21:30 +0000
committerhallgren <hallgren@chalmers.se>2012-10-04 15:21:30 +0000
commit1eef49ac936947e34af470e339e00056fce50b87 (patch)
treeebb944e2d7f56ed937c7abd54332498ffd756492 /src/www/gfse/editor.css
parentec9dc23f466499fa4c77f14553b2cb1d03ce0e82 (diff)
gfse: various code improvements and prelimiary support for public grammars
Diffstat (limited to 'src/www/gfse/editor.css')
-rw-r--r--src/www/gfse/editor.css6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css
index 45199b72e..6d605b3ab 100644
--- a/src/www/gfse/editor.css
+++ b/src/www/gfse/editor.css
@@ -18,6 +18,8 @@ h1 img.nofloat { float: none; }
div.home, div.grammar { border: 1px solid black; background: #9df; }
div.home { padding: 5px; }
div.files { margin: 0 8px 8px 8px; position: relative; }
+td.public_grammars { padding-left: 2em; }
+.no_publish .publish { display: none; }
div#file, table.extension td, table.extension th { border: 2px solid #009; }
div#file { border-top-width: 0; }
@@ -32,6 +34,7 @@ table.extension td { border-left-width: 0; min-width: 30em; }
.slideshow .hidden { display: none; }
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; }
@@ -39,7 +42,8 @@ table.grammar_list td { padding: 0.4ex 0.25em; }
div.namebar { background: #9df; }
div.namebar table { width: 100%; }
-.namebar h3, .home h3, .sheet h3 { margin: 0; color: #009; }
+.namebar h3, .sheet h3 { margin: 0; color: #009; }
+.home h3 { margin-top: 0; color: #009; }
td.right { text-align: right; }
td.center { text-align: center; }