From d1b95cef99c0c7d699987d090fd203e138b18223 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 28 Mar 2011 15:04:43 +0000
Subject: gfse: somewhat simplified configuration/installation

---
 src/editor/simple/editor.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/editor/simple/editor.css')

diff --git a/src/editor/simple/editor.css b/src/editor/simple/editor.css
index a1f48d32c..7bce43c3f 100644
--- a/src/editor/simple/editor.css
+++ b/src/editor/simple/editor.css
@@ -4,7 +4,7 @@ h1,h2,h3,h4,small { font-family: sans-serif; }
 h1:first-child, h2:first-child { margin-top: 0; margin-bottom: 1ex; }
 
 #editor { max-width: 50em; }
-div.grammar { border: 1px solid black; background: white; background: #9df; }
+div.grammar { border: 1px solid black; background: #9df; }
 div.files { margin: 0 8px 8px 8px; }
 
 div#file { border: 2px solid #009; border-top-width: 0; }
-- 
cgit v1.2.3