src/display/css_html_js.py

custom_css = """

.markdown-text {
    font-size: 16px !important;
}

#models-to-add-text {
    font-size: 18px !important;
}

#citation-button span {
    font-size: 16px !important;
}

#citation-button textarea {
    font-size: 16px !important;
}

#citation-button > label > button {
    margin: 6px;
    transform: scale(1.3);
}

#leaderboard-table {
    margin-top: 15px
}

#leaderboard-table-lite {
    margin-top: 15px
}

#search-bar-table-box > div:first-child {
    background: none;
    border: none;
}
 
#search-bar {
    padding: 0px;
}

/* Limit the width of the first AutoEvalColumn so that names don't expand too much */
#leaderboard-table td:nth-child(2),
#leaderboard-table th:nth-child(2) {
    max-width: 400px;
    overflow: auto;
    white-space: nowrap;
}

.tab-buttons button {
    font-size: 20px;
}

#scale-logo {
    border-style: none !important;
    box-shadow: none;
    display: block;
    margin-left: auto;
    margin-right: auto;
    max-width: 600px;
}

#scale-logo .download {
    display: none;
}
#filter_type{
    border: 0;
    padding-left: 0;
    padding-top: 0;
}
#filter_type label {
    display: flex;
}
#filter_type label > span{
    margin-top: var(--spacing-lg);
    margin-right: 0.5em;
}
#filter_type label > .wrap{
    width: 103px;
}
#filter_type label > .wrap .wrap-inner{  
    padding: 2px;
}
#filter_type label > .wrap .wrap-inner input{
    width: 1px
}
#filter-columns-type{
    border:0;
    padding:0.5;
}
#filter-columns-size{
    border:0;
    padding:0.5;
}
#box-filter > .form{
    border: 0
}

#raw-score-table {
    overflow-x: auto !important;
    max-width: 100%;
    min-width: 0;
}

#raw-score-table,
#unweighted-z-table,
#weighted-z-table {
    overflow-x: auto !important;
    max-width: 100%;
    min-width: 0;
}

#result-tab {
    min-height: 78vh;
}

#raw-score-table th,
#unweighted-z-table th,
#weighted-z-table th {
    white-space: pre-line;
}

#raw-score-table td,
#unweighted-z-table td,
#weighted-z-table td {
    white-space: nowrap;
}

#weights-table {
    overflow-x: auto !important;
    max-width: 100%;
}

#weights-table .weights-scroll {
    overflow-x: auto;
    max-width: 100%;
}

#weights-table table {
    border-collapse: collapse;
    width: max-content;
}

#weights-table th,
#weights-table td {
    border: 1px solid rgba(0,0,0,0.08);
    padding: 10px 12px;
    vertical-align: middle;
    white-space: nowrap;
}

#weights-table th {
    font-weight: 600;
    background: rgba(0,0,0,0.02);
}
"""

custom_js = """
<script>
(function () {
    const tableIds = ["raw-score-table", "unweighted-z-table", "weighted-z-table"];

    const nudgeScroll = (el) => {
        const scroller =
            el.querySelector(".table-wrap") ||
            el.querySelector(".wrap") ||
            el.querySelector(".wrap-inner") ||
            el;

        const x = scroller.scrollLeft || 0;
        scroller.scrollLeft = x + 1;
        scroller.scrollLeft = x;
        scroller.dispatchEvent(new Event("scroll", { bubbles: true }));
    };

    const forceRelayout = () => {
        window.dispatchEvent(new Event("resize"));
        for (const id of tableIds) {
            const el = document.getElementById(id);
            if (!el) continue;
            nudgeScroll(el);
        }
    };

    const schedule = () => {
        forceRelayout();
        setTimeout(forceRelayout, 50);
        setTimeout(forceRelayout, 200);
        setTimeout(forceRelayout, 800);
    };

    const observer = new MutationObserver(() => {
        schedule();
    });
    observer.observe(document.documentElement, {
        subtree: true,
        childList: true,
        attributes: true,
        attributeFilter: ["style", "class", "aria-selected"],
    });

    document.addEventListener(
        "click",
        (e) => {
            const target = e.target;
            if (!(target instanceof Element)) return;
            if (target.closest("button, [role='tab'], .tab-buttons")) {
                setTimeout(schedule, 0);
            }
        },
        true
    );

    window.addEventListener("resize", () => setTimeout(forceRelayout, 0));
    window.addEventListener("load", () => setTimeout(schedule, 0));
    schedule();
})();
</script>
"""

get_window_url_params = """
    function(url_params) {
        const params = new URLSearchParams(window.location.search);
        url_params = Object.fromEntries(params);
        return url_params;
    }
    """