def get_current_theme_name(override=None):
if override and (override in themes or override == '<STR_LIT>'):<EOL><INDENT>return override<EOL><DEDENT>theme_name = request.args.get('<STR_LIT>', request.preferences.get_value('<STR_LIT>'))<EOL>if theme_name not in themes:<EOL><INDENT>theme_name = default_theme<EOL><DEDENT>return theme_name<EOL>
Returns theme name.

    Checks in this order:
    1. override
    2. cookies
    3. settings