From dfbf4f9e145a482aa85d42e7373422fd57d619b3 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 3 Oct 2011 08:21:35 +0000
Subject: gfse: references to the GF book in keyword tool tips and style tweaks
 for example-based grammar editing

---
 src/editor/simple/editor.css | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

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

diff --git a/src/editor/simple/editor.css b/src/editor/simple/editor.css
index d7a415186..489a1d81b 100644
--- a/src/editor/simple/editor.css
+++ b/src/editor/simple/editor.css
@@ -28,10 +28,14 @@ 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; }
-*/
+div.fun:hover, div.param:hover, div.lincat:hover, div.oper:hover, div.lin:hover,
+div.template:hover
+{ background: #def;}
+
+.lin input[type=button],
+.template input[type=button] { float: right; clear: right; }
+.exb_output { background: #dfd; float: right; margin: 0 10px; }
+
 .more, .delete { font-weight: bold; font-family: sans-serif; }
 .more, .delete, .edit { cursor: pointer; }
 
-- 
cgit v1.2.3