HTML Editor Dark Background Toggle

Could the html editor have the option of a dark (maybe black) coloured background like the current system for switching between white and light grey?

There have been a few instances where I am developing a site with a dark background and light text, where I have to wrap everything in a dark coloured div in order to be able to see what I am developing.