summaryrefslogtreecommitdiff
path: root/src/www/gfse/editor.css
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2012-04-04 17:00:25 +0000
committerhallgren <hallgren@chalmers.se>2012-04-04 17:00:25 +0000
commit43c28ad2769f914e7a21860efee34c8566fc610d (patch)
treed0602f505c72af9904c53eecc3e0fbd0d0787c05 /src/www/gfse/editor.css
parent01a0f1d3e6054eaa2b876395f733af20edc534cc (diff)
minibar&gfse: first working grammar extension interface in minibar
There are still some user interface wrinkles to iron out.
Diffstat (limited to 'src/www/gfse/editor.css')
-rw-r--r--src/www/gfse/editor.css17
1 files changed, 17 insertions, 0 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css
index 27a589a1f..9dd9a091f 100644
--- a/src/www/gfse/editor.css
+++ b/src/www/gfse/editor.css
@@ -117,3 +117,20 @@ div#minibar {
padding: 5px;
background: #ccc url("../minibar/brushed-metal.png");
}
+
+table.page_overlay {
+ position: absolute;
+ top: 0; left: 0;
+ width: 100%; height: 100%;
+ background: rgba(0,0,0,0.5);
+}
+table.page_overlay>tr>td { text-align: center; vertical-align: middle; }
+
+div.grammar_extension {
+ display: inline-block;
+ border: 1px solid black;
+ background: #9df;
+ padding: 2ex;
+ margin: 2ex;
+ box-shadow: 10px 10px 10px rgba(0,0,0,0.3);
+} \ No newline at end of file