Use the default theme name from `defaults`