Theming-related stuff.