Spaces:
Running
Running
openhands
commited on
Commit
·
a87403b
1
Parent(s):
acd5bf8
Keep CSS font separate from Python constants
Browse files- content.py +4 -4
content.py
CHANGED
|
@@ -1,5 +1,5 @@
|
|
| 1 |
import re
|
| 2 |
-
|
| 3 |
|
| 4 |
def create_gradio_anchor_id(text: str, validation) -> str:
|
| 5 |
"""
|
|
@@ -234,7 +234,7 @@ def hf_uri_to_web_url(uri: str) -> str:
|
|
| 234 |
return f"https://huggingface.co/datasets/{namespace}/{repo}/tree/main/{path}"
|
| 235 |
|
| 236 |
|
| 237 |
-
css =
|
| 238 |
/* CSS Color Variables aligned with OpenHands brand (openhands-ui/tokens.css) */
|
| 239 |
:root {
|
| 240 |
/* Primary - Yellow */
|
|
@@ -401,7 +401,7 @@ thead.svelte-1e98i6s th {
|
|
| 401 |
background: var(--color-background-dark) !important;
|
| 402 |
}
|
| 403 |
.cell-wrap.svelte-v1pjjd {
|
| 404 |
-
font-family:
|
| 405 |
}
|
| 406 |
nav.svelte-ti537g.svelte-ti537g {
|
| 407 |
justify-content: flex-start;
|
|
@@ -463,7 +463,7 @@ nav.svelte-ti537g.svelte-ti537g {
|
|
| 463 |
line-height: 1.2 !important;
|
| 464 |
vertical-align: top !important;
|
| 465 |
font-size: 12px !important;
|
| 466 |
-
font-family:
|
| 467 |
}
|
| 468 |
.wrap-header-df th {
|
| 469 |
height: auto !important;
|
|
|
|
| 1 |
import re
|
| 2 |
+
|
| 3 |
|
| 4 |
def create_gradio_anchor_id(text: str, validation) -> str:
|
| 5 |
"""
|
|
|
|
| 234 |
return f"https://huggingface.co/datasets/{namespace}/{repo}/tree/main/{path}"
|
| 235 |
|
| 236 |
|
| 237 |
+
css = """
|
| 238 |
/* CSS Color Variables aligned with OpenHands brand (openhands-ui/tokens.css) */
|
| 239 |
:root {
|
| 240 |
/* Primary - Yellow */
|
|
|
|
| 401 |
background: var(--color-background-dark) !important;
|
| 402 |
}
|
| 403 |
.cell-wrap.svelte-v1pjjd {
|
| 404 |
+
font-family: Arial, sans-serif;
|
| 405 |
}
|
| 406 |
nav.svelte-ti537g.svelte-ti537g {
|
| 407 |
justify-content: flex-start;
|
|
|
|
| 463 |
line-height: 1.2 !important;
|
| 464 |
vertical-align: top !important;
|
| 465 |
font-size: 12px !important;
|
| 466 |
+
font-family: Arial, sans-serif;
|
| 467 |
}
|
| 468 |
.wrap-header-df th {
|
| 469 |
height: auto !important;
|