src/Tools/jEdit/etc/options

 option outdated_color : string = "EEE3E3FF"
 option unprocessed_color : string = "FFA0A0FF"
 option unprocessed1_color : string = "FFA0A032"
 option running_color : string = "610061FF"
 option running1_color : string = "61006164"
-option light_color : string = "F0F0F0FF"
+option light_color : string = "F0F0F064"
 option bullet_color : string = "000000FF"
 option tooltip_color : string = "FFFFE9FF"
 option writeln_color : string = "C0C0C0FF"
 option warning_color : string = "FF8C00FF"
 option error_color : string = "B22222FF"