From 712d079e7c296e4f66bc3d7c30e127b71ecc24d1 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 7 Jan 2010 10:38:43 +0000
Subject: inplace editing/parsing in the syntax editor

---
 src/runtime/javascript/style.css | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

(limited to 'src/runtime/javascript/style.css')

diff --git a/src/runtime/javascript/style.css b/src/runtime/javascript/style.css
index 962c3701f..312983e5e 100644
--- a/src/runtime/javascript/style.css
+++ b/src/runtime/javascript/style.css
@@ -78,8 +78,6 @@ body {
 #tree {
 	left: -10px;
 	top: -10px;	
-	width: 250px;
-	height: 250px;
 	margin: 0px;
 	padding: 10px;
 	overflow: auto;
@@ -232,10 +230,23 @@ span.normal {
 	color: black;
 	background-color: white;
 	text-decoration: none;
+    padding-left: 2px;
+    padding-right: 2px;
+}
+
+span.edit {
+	color: black;
+	background-color: white;
+	text-decoration: none;
+    border:2px inset;
+    padding-left: 2px;
+    padding-right: 2px;
 }
 
 span.selected {
 	color: white;
 	background-color: #3366CC;
 	text-decoration: none;
+    padding-left: 2px;
+    padding-right: 2px;
 }
-- 
cgit v1.2.3