Spaces:
Running
Running
Added custom CSS
Browse files
app.py
CHANGED
|
@@ -87,7 +87,55 @@ def on_application_load():
|
|
| 87 |
choices=leaderboard_server.submission_ids)
|
| 88 |
|
| 89 |
|
| 90 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 91 |
with gr.Row():
|
| 92 |
with gr.Row():
|
| 93 |
gr.Markdown(HEADER_MARKDOWN)
|
|
@@ -96,7 +144,7 @@ with (gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css="footer {visibility
|
|
| 96 |
with gr.Tab('Leaderboard') as leaderboards_tab:
|
| 97 |
gr.Markdown(LEADERBOARD_TAB_TITLE_MARKDOWN)
|
| 98 |
results_table = gr.DataFrame(leaderboard_server.get_leaderboard(), interactive=False, label=None,
|
| 99 |
-
visible=True)
|
| 100 |
|
| 101 |
gr.Markdown(MORE_DETAILS_MARKDOWN)
|
| 102 |
detail_dropdown = gr.Dropdown(choices=leaderboard_server.submission_ids, label="Select model",
|
|
|
|
| 87 |
choices=leaderboard_server.submission_ids)
|
| 88 |
|
| 89 |
|
| 90 |
+
custom_css = """
|
| 91 |
+
|
| 92 |
+
footer {visibility: hidden}
|
| 93 |
+
|
| 94 |
+
#leaderboard-table tr:first-child th {
|
| 95 |
+
background-color: var(--table-even-background-fill);
|
| 96 |
+
}
|
| 97 |
+
|
| 98 |
+
#leaderboard-table th:first-child, #leaderboard-table td:first-child {
|
| 99 |
+
position: sticky;
|
| 100 |
+
left: 0;
|
| 101 |
+
z-index: 1;
|
| 102 |
+
background-color: inherit;
|
| 103 |
+
}
|
| 104 |
+
|
| 105 |
+
#leaderboard-table th:nth-child(2), #leaderboard-table td:nth-child(2) {
|
| 106 |
+
position: sticky;
|
| 107 |
+
left: var(--cell-width-0);
|
| 108 |
+
z-index: 1;
|
| 109 |
+
background-color: inherit;
|
| 110 |
+
}
|
| 111 |
+
|
| 112 |
+
#leaderboard-table th:nth-child(3), #leaderboard-table td:nth-child(3) {
|
| 113 |
+
position: sticky;
|
| 114 |
+
left: calc(var(--cell-width-0) + var(--cell-width-1));
|
| 115 |
+
z-index: 1;
|
| 116 |
+
background-color: inherit;
|
| 117 |
+
}
|
| 118 |
+
|
| 119 |
+
#leaderboard-table th:nth-child(4), #leaderboard-table td:nth-child(4) {
|
| 120 |
+
position: sticky;
|
| 121 |
+
left: calc(var(--cell-width-0) + var(--cell-width-1) + var(--cell-width-2));
|
| 122 |
+
z-index: 1;
|
| 123 |
+
background-color: inherit;
|
| 124 |
+
}
|
| 125 |
+
|
| 126 |
+
#leaderboard-table th:nth-child(5), #leaderboard-table td:nth-child(5) {
|
| 127 |
+
position: sticky;
|
| 128 |
+
left: calc(var(--cell-width-0) + var(--cell-width-1) + var(--cell-width-2) + var(--cell-width-3));
|
| 129 |
+
z-index: 1;
|
| 130 |
+
background-color: inherit;
|
| 131 |
+
border-right-width: 2px;
|
| 132 |
+
border-right-color: var(--border-color-primary);
|
| 133 |
+
}
|
| 134 |
+
|
| 135 |
+
"""
|
| 136 |
+
|
| 137 |
+
|
| 138 |
+
with (gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main):
|
| 139 |
with gr.Row():
|
| 140 |
with gr.Row():
|
| 141 |
gr.Markdown(HEADER_MARKDOWN)
|
|
|
|
| 144 |
with gr.Tab('Leaderboard') as leaderboards_tab:
|
| 145 |
gr.Markdown(LEADERBOARD_TAB_TITLE_MARKDOWN)
|
| 146 |
results_table = gr.DataFrame(leaderboard_server.get_leaderboard(), interactive=False, label=None,
|
| 147 |
+
visible=True, elem_id="leaderboard-table")
|
| 148 |
|
| 149 |
gr.Markdown(MORE_DETAILS_MARKDOWN)
|
| 150 |
detail_dropdown = gr.Dropdown(choices=leaderboard_server.submission_ids, label="Select model",
|