1.1 --- a/src/Tools/jEdit/src/isabelle_markup.scala	Tue Aug 30 12:01:07 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_markup.scala	Tue Aug 30 12:24:55 2011 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4  
     1.5    def get_color(s: String): Color = ColorFactory.getInstance.getColor(s)
     1.6  
     1.7 -  val outdated_color = new Color(240, 240, 240)
     1.8 +  val outdated_color = new Color(238, 227, 227)
     1.9    val unfinished_color = new Color(255, 228, 225)
    1.10  
    1.11    val light_color = new Color(240, 240, 240)