# HG changeset patch
# User wenzelm
# Date 1308000113 -7200
# Node ID ba199d75bc7e96ed5fd1c291909b6cbf4158e82f
# Parent  0f6880c1c759dceadda9bb021b3de96e84b6cdf3
more accurate CSS colors;

diff -r 0f6880c1c759 -r ba199d75bc7e src/Tools/jEdit/src/isabelle_markup.scala
--- a/src/Tools/jEdit/src/isabelle_markup.scala	Mon Jun 13 23:09:01 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Mon Jun 13 23:21:53 2011 +0200
@@ -18,6 +18,8 @@
 {
   /* physical rendering */
 
+  // see http://www.w3schools.com/css/css_colornames.asp
+
   val outdated_color = new Color(240, 240, 240)
   val unfinished_color = new Color(255, 228, 225)
 
@@ -30,7 +32,7 @@
 
   val free_color = new Color(0, 0, 0xFF)
   val skolem_color = new Color(0xD2, 0x69, 0x1E)
-  val bound_color = new Color(0, 0x8B, 0)
+  val bound_color = new Color(0, 0x80, 0)
 
   class Icon(val priority: Int, val icon: javax.swing.Icon)
   {