No worries. I'll change it over to the theme manager before merging.

I was under the impression that we'd reserve the theme manager for things we might have configurable one day (and wasn't thinking of making these configurable, which is why I didn't refactor them into the theme manager. But in any case, in hindsight, these colors could certainly be configurable at future point, so...)