solarized to jEdit