diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-22 16:45:46 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-22 16:45:46 +0000 |
| commit | 26d5bcd3949d5327b411057b3de5d4ecbe710914 (patch) | |
| tree | b19997760c6141e3c4632a55931a0e6e449fe151 /src/www/gfse/editor.css | |
| parent | 9ebc42300419b8844b324bc429284bbfdee36048 (diff) | |
gfse: layout fix
Style options inteded for some buttons used in example-based editing was
unintensionally applied to some other OK/Cancel buttons as well.
Diffstat (limited to 'src/www/gfse/editor.css')
| -rw-r--r-- | src/www/gfse/editor.css | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index a9a273d36..100e5b35b 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -42,8 +42,7 @@ 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; margin: 0; } +.exb_linbuttons input[type=button] { float: right; clear: right; margin: 0; } .exb_output { background: #dfd; float: right; margin: 0 10px; } .more, .delete { font-weight: bold; font-family: sans-serif; } |