author | wenzelm |
Wed, 18 Apr 2012 20:42:55 +0200 | |
changeset 48425 | 9980c0c094b8 |
parent 48424 | 26d0a76fef0a |
child 48426 | 3982d3004758 |
1.1 --- a/src/Tools/jEdit/etc/isabelle-jedit.css Wed Apr 18 20:22:44 2012 +0200 1.2 +++ b/src/Tools/jEdit/etc/isabelle-jedit.css Wed Apr 18 20:42:55 2012 +0200 1.3 @@ -15,5 +15,5 @@ 1.4 .operator { font-weight: bold; } 1.5 .command { font-weight: bold; color: #006699; } 1.6 1.7 -.sendback { text-decoration: underline; } 1.8 -.sendback:hover { background-color: #FFCC66; } 1.9 +.sendback { background-color: #DCDCDC; } 1.10 +.sendback:hover { background-color: #9DC75D; }