src/display/css_html_js.py

"""CSS and JavaScript for the backend UI."""

dark_mode_gradio_js = """
function refresh() {
    const url = new URL(window.location);
    if (url.searchParams.get('__theme') !== 'dark') {
        url.searchParams.set('__theme', 'dark');
        window.location.href = url.href;
    }
}
"""