editor.css: customize colors to match our themes.