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