Spaces:
Paused
Paused
Added CSS for ".gradio-bokeh" - padding-top, so that it does not interfere with the Gradio Plot header
Browse files
app.py
CHANGED
|
@@ -527,6 +527,10 @@ tr.row_odd {
|
|
| 527 |
transform: translateY(0px);
|
| 528 |
}
|
| 529 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 530 |
.leaderboard-heatmap {
|
| 531 |
overflow-x: scroll !important;
|
| 532 |
}
|
|
|
|
| 527 |
transform: translateY(0px);
|
| 528 |
}
|
| 529 |
|
| 530 |
+
.gradio-bokeh {
|
| 531 |
+
padding-top: calc(var(--block-label-margin) + 4px + 19.6px + 4px + 2px);
|
| 532 |
+
}
|
| 533 |
+
|
| 534 |
.leaderboard-heatmap {
|
| 535 |
overflow-x: scroll !important;
|
| 536 |
}
|