more uniform color --- avoid odd transparency on Windows (due to jEdit default #666699a);