1.1 --- a/src/Tools/jEdit/src/isabelle_markup.scala	Tue Aug 30 17:36:12 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_markup.scala	Tue Aug 30 17:50:41 2011 +0200
     1.3 @@ -145,7 +145,7 @@
     1.4        Markup.VAR -> get_color("#00009B"),
     1.5        Markup.INNER_STRING -> get_color("#D2691E"),
     1.6        Markup.INNER_COMMENT -> get_color("#8B0000"),
     1.7 -      Markup.DYNAMIC_FACT -> get_color("yellowgreen"),
     1.8 +      Markup.DYNAMIC_FACT -> get_color("#7BA428"),
     1.9        Markup.ML_KEYWORD -> keyword1_color,
    1.10        Markup.ML_DELIMITER -> get_color("black"),
    1.11        Markup.ML_NUMERAL -> get_color("red"),