From 67ca0a1eae3875cb72c4a89fe7d0f454722c3b59 Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Fri, 16 Nov 2012 09:33:55 +0000
Subject: Syntax editor: select subset of available languages

Also added a basic readme file with a list of todo's
---
 src/www/syntax-editor/ui/style.css | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/www/syntax-editor/ui/style.css')

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;
-- 
cgit v1.2.3