more accurate CSS colors;
authorwenzelm
Mon Jun 13 23:21:53 2011 +0200 (2011-06-13)
changeset 43377ba199d75bc7e
parent 43376 0f6880c1c759
child 43378 d7ae1fae113b
more accurate CSS colors;
src/Tools/jEdit/src/isabelle_markup.scala
     1.1 --- a/src/Tools/jEdit/src/isabelle_markup.scala	Mon Jun 13 23:09:01 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_markup.scala	Mon Jun 13 23:21:53 2011 +0200
     1.3 @@ -18,6 +18,8 @@
     1.4  {
     1.5    /* physical rendering */
     1.6  
     1.7 +  // see http://www.w3schools.com/css/css_colornames.asp
     1.8 +
     1.9    val outdated_color = new Color(240, 240, 240)
    1.10    val unfinished_color = new Color(255, 228, 225)
    1.11  
    1.12 @@ -30,7 +32,7 @@
    1.13  
    1.14    val free_color = new Color(0, 0, 0xFF)
    1.15    val skolem_color = new Color(0xD2, 0x69, 0x1E)
    1.16 -  val bound_color = new Color(0, 0x8B, 0)
    1.17 +  val bound_color = new Color(0, 0x80, 0)
    1.18  
    1.19    class Icon(val priority: Int, val icon: javax.swing.Icon)
    1.20    {