@anselmschueler It's not arbitrary CSS restyling, at least. That's what people have defined "themes" as previously.