Add Web IDE Solarized Dark theme support
In #209808 (closed) a Dark Theme for the Web IDE was added. Now we also want to style the Web IDE UI for Solarized Dark.
In #209808 (closed) a Dark Theme for the Web IDE was added. Now we also want to style the Web IDE UI for Solarized Dark.