diff options
Diffstat (limited to 'src/editor/simple/editor.css')
| -rw-r--r-- | src/editor/simple/editor.css | 12 |
1 files changed, 8 insertions, 4 deletions
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; } |