From f81e1586f5a2ceab7ada93950b2d84b175377822 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Fri, 24 Feb 2012 15:16:37 +0000
Subject: gfse: text mode tweaks

---
 src/www/gfse/editor.css | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/www/gfse/editor.css')

diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css
index 100e5b35b..2c930d849 100644
--- a/src/www/gfse/editor.css
+++ b/src/www/gfse/editor.css
@@ -99,6 +99,11 @@ li { margin-top: 0.5ex; margin-bottom: 0.5ex; }
 
 div.compiler_output .back_to_editor { display: none; }
 
+textarea.text_mode {
+    /*font-family: inherit; font-size: inherit;*/
+    width: 99%;
+}
+
 div#minibar {
     border: 1px solid black;
     padding: 5px;
-- 
cgit v1.2.3