diff options
| author | krasimir <krasimir@chalmers.se> | 2010-01-07 10:38:43 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-01-07 10:38:43 +0000 |
| commit | 712d079e7c296e4f66bc3d7c30e127b71ecc24d1 (patch) | |
| tree | 45b4228fd4bb51abc13c30802bbfaf4cac105f7b /src/runtime/javascript/style.css | |
| parent | 5be5ee1ccd0bcd41263c94882104499e9a765ae3 (diff) | |
inplace editing/parsing in the syntax editor
Diffstat (limited to 'src/runtime/javascript/style.css')
| -rw-r--r-- | src/runtime/javascript/style.css | 15 |
1 files changed, 13 insertions, 2 deletions
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;
}
|