# HG changeset patch
# User wenzelm
# Date 1334774575 -7200
# Node ID 9980c0c094b8449d2323526cfb95cd4169111f7b
# Parent  26d0a76fef0a7a8ceb5e252a2ae9e8c19c88c199
more friendly sendback rendering, using green and "frisches Steingrau";

diff -r 26d0a76fef0a -r 9980c0c094b8 src/Tools/jEdit/etc/isabelle-jedit.css
--- 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; }