editor CSS could use some finessing

[Rich-Harris]

highlight colours are weird, some padding is off, gutter icons could be nicer, dashed top border is ugly, etc

[Rich-Harris]

and now that we have a bluish tint in dark mode, the grey looks super ugly