Convert @giffmex themes into colour palettes

Although there are some style changes in the existing themes they’re
mostly a matter of a changed palette.

@giffmex - I’ll send you a prerelease of 5.0.8 so that you can tweak
the palettes if you’ve got time.