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.
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.