subtle changes to editor themes so that color schemes is somewhat better, still too busy