1 files changed, 12 insertions, 0 deletions
diff --git a/src/www/syntax-editor/ui/style.css b/src/www/syntax-editor/ui/style.css
index f4f29d040..127b1ad2a 100644
--- a/src/www/syntax-editor/ui/style.css
+++ b/src/www/syntax-editor/ui/style.css
@@ -2,6 +2,18 @@ body {
     background: #ccc url("http://cloud.grammaticalframework.org/minibar/brushed-metal.png");
 }
 
+.hidden
+{ 
+  display:none;
+}
+
+select#to_menu
+{ 
+  height: 10em;
+  position: absolute;
+  min-width: 5em;
+  }
+
 #tree
 {
   white-space:pre;