Added documentation around support for new themes in the Web IDE, and
support for the dark theme for all of the Web IDE.