ThemeSpec: use 1.8 style hashes