from pathlib import Path from collections import OrderedDict DEFAULT_K = "∞" column_names = OrderedDict({ "Model": "Model", "Mode": "Mode", "Puzzle Acc": "Puzzle Acc", "Cell Acc": "Cell Acc", "No answer": "No answer", "Easy Puzzle Acc": "Easy Puzzle Acc", "Hard Puzzle Acc": "Hard Puzzle Acc", }) LEADERBOARD_REMARKS_MAIN = """ """ RANKING_COLUMN = "Puzzle Acc" ORDERED_COLUMN_NAMES = [ "Agent", "Base model", "Expert (Accuracy)", "Expert (Landmarks)", "Masked (Accuracy)", "Masked (Landmarks)" ] js_light = """ function refresh() { const url = new URL(window.location); if (url.searchParams.get('__theme') !== 'light') { url.searchParams.set('__theme', 'light'); window.location.href = url.href; } } """ css = """ code { font-size: large; } footer {visibility: hidden} .top-left-LP{ margin-top: 6px; margin-left: 5px; } .no_margin{ margin-top: 0px; margin-left: 0px; margin-right: 0px; margin-bottom: 0px; padding-top: 0px; padding-left: 0px; padding-right: 0px; padding-bottom: 0px; } .markdown-text{font-size: 14pt} .markdown-text-tiny{font-size: 10pt} .markdown-text-small{font-size: 13pt} .markdown-text-tiny{font-size: 12pt} .markdown-text-tiny-red{ font-size: 12pt; color: red; background-color: yellow; font-color: red; font-weight: bold; } th { text-align: center; font-size: 17px; /* Adjust the font size as needed */ } td { font-size: 15px; /* Adjust the font size as needed */ text-align: center; } .sample_button{ border: 2px solid #000000; border-radius: 10px; padding: 10px; font-size: 17pt; font-weight: bold; margin: 5px; background-color: #D8BFD8; } .chat-common{ height: auto; max-height: 400px; min-height: 100px; } .chat-specific{ height: auto; max-height: 600px; min-height: 200px; } #od-benchmark-tab-table-button{ font-size: 15pt; font-weight: bold; } .btn_boderline{ border: 1px solid #000000; border-radius: 5px; padding: 5px; margin: 5px; font-size: 15pt; font-weight: bold; } .btn_boderline_next{ border: 0.1px solid #000000; border-radius: 5px; padding: 5px; margin: 5px; font-size: 15pt; font-weight: bold; } .btn_boderline_gray{ border: 0.5px solid gray; border-radius: 5px; padding: 5px; margin: 5px; font-size: 15pt; font-weight: italic; } .btn_boderline_selected{ border: 2px solid purple; background-color: #f2f2f2; border-radius: 5px; padding: 5px; margin: 5px; font-size: 15pt; font-weight: bold; } .accordion-label button span{ font-size: 14pt; font-weight: bold; } #show-task-categorized span{ font-size: 13pt; font-weight: bold; } #show-open-source-models span{ font-size: 13pt; font-weight: bold; } #select-models span{ font-size: 10pt; } #select-tasks span{ font-size: 10pt; } .markdown-text-details{ margin: 10px; padding: 10px; } button.selected[role="tab"][aria-selected="true"] { font-size: 18px; /* or any other size you prefer */ font-weight: bold; } #od-benchmark-tab-table-ablation-button { font-size: larger; /* Adjust the font size as needed */ } .plotly-plot{ height: auto; max-height: 600px; min-height: 600px; } #length-margin-radio{ font-size: 10pt; # padding: 0px; # margin: 1px; } #show-task-categorized{ font-size: 12pt; font-decoration: bold; } #show-open-source-models{ font-size: 12pt; font-decoration: bold; } .box_md{ border: 1px solid #000000; border-radius: 10px; padding: 10px; font-size: 12pt; margin: 5px; } """