This is the first implementation of a theme manager. It’s a rebased and
revisited version of #792.