diff options
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;
}
|