Add Web IDE Monokai theme support

We added support for Dark theme for all of the Web IDE in #209808 (closed) and Solarized Dark in #219228 (closed).

We should also add support similarly for the Monokai theme.