| changeset 47543 | 9980c0c094b8 |
| parent 43284 | 04d473e883df |
| child 49358 | 0fa351b1bd14 |
--- a/src/Tools/jEdit/etc/isabelle-jedit.css Wed Apr 18 20:22:44 2012 +0200 +++ b/src/Tools/jEdit/etc/isabelle-jedit.css Wed Apr 18 20:42:55 2012 +0200 @@ -15,5 +15,5 @@ .operator { font-weight: bold; } .command { font-weight: bold; color: #006699; } -.sendback { text-decoration: underline; } -.sendback:hover { background-color: #FFCC66; } +.sendback { background-color: #DCDCDC; } +.sendback:hover { background-color: #9DC75D; }