Thank you, does this mean themes have to support third party plugins? Can’t plugins just reuse components from the main UI? Otherwise we would end up to half-baked themes with no one supporting all the plugins.
Edit: I checked “Solarized Extended” CSS and it’s really cool and well written! Thanks again for the suggestion.