From d9867893f83c801b37a4fe0acf0fa7289e857031 Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Fri, 23 Nov 2012 15:03:36 +0000
Subject: Syntax editor: now uses common GrammarManager object

---
 src/www/syntax-editor/editor.css | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

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

diff --git a/src/www/syntax-editor/editor.css b/src/www/syntax-editor/editor.css
index 2b5d5a6d1..2257db6e8 100644
--- a/src/www/syntax-editor/editor.css
+++ b/src/www/syntax-editor/editor.css
@@ -1,4 +1,4 @@
-body.syntax_editor {
+body.syntax-editor {
     background: #ccc url("../minibar/brushed-metal.png");
 }
 
@@ -74,3 +74,13 @@ body.syntax_editor {
   background: white;
   }
 
+#debug
+{
+  font: 10px monospace;
+  white-space: pre;
+  color: #333;
+  margin: 1em 0;
+  border: 1px dashed #999;
+  padding: 1em;
+  }
+
-- 
cgit v1.2.3