tuned color for Mac OS X (very light color profile?);

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