From a9287e83af1b6b87b216331fe62218d46079ce9f Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 28 Feb 2011 12:41:05 +0000
Subject: gfse: minor documentation and style improvements

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

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

diff --git a/src/editor/simple/editor.css b/src/editor/simple/editor.css
index 2c09897a0..56cfd5adb 100644
--- a/src/editor/simple/editor.css
+++ b/src/editor/simple/editor.css
@@ -27,6 +27,8 @@ td.right { text-align: right; }
 
 div.indent { padding-left: 1em; min-width: 1em; min-height: 1em; }
 
+div.fun, div.param, div.lincat, div.oper, div.lin
+{ padding-left: 2em; text-indent: -2em; }
 
 .more, .delete { font-weight: bold; font-family: sans-serif; }
 .more, .delete, .edit { cursor: pointer; }
-- 
cgit v1.2.3