commented out background color for CodeMirror in Helios.css so dark themes can be used properly