Theming changes

[Andreas Rønning]

The console is broadly themeable - is that even a word? - but the
formalities of how a theme is defined need some work.

In general, I'm curious as to whether people want a more abstract
theme with fewer fields that carry over to more components, of if the
current approach where nearly every component that has a color
associated with it can have its own unique color. The latter approach
can be fine tuned, but requires much more manual labor; Anyone who has
written a color scheme for an IDE knows how painful this process can
be.

Currently you define a color palette XML file, where colors are keyed
with a name and valued with an RRGGBB color.
When this palette is defined, a theme xml reads colors from the
palette and maps them to targets by their keys. This would,
theoretically, let you define one theme and then vary the palette, or
vice versa.

But boy is it a chore to work with... Thoughts?