Tweaks for work-making.

The builders code could probably still use some tidying to look less
kludgy, but it works.

Now each theme can have a customisation overlay, although defining
things that conflict with already defined styles can result in
excitingly difficult to predict behaviour.