Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
|
@@ -363,7 +363,16 @@ markdown_css = """
|
|
| 363 |
.markdown-text h3 { font-size: 1.25rem; }
|
| 364 |
}
|
| 365 |
"""
|
| 366 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 367 |
|
| 368 |
# ---------------------------------------------------------------------------
|
| 369 |
# Build the Gradio UI
|
|
|
|
| 363 |
.markdown-text h3 { font-size: 1.25rem; }
|
| 364 |
}
|
| 365 |
"""
|
| 366 |
+
|
| 367 |
+
tab_css = """
|
| 368 |
+
/* Tabs ▸ change only the text on the tab buttons */
|
| 369 |
+
.tab-buttons button {
|
| 370 |
+
font-size: 1.7rem !important;
|
| 371 |
+
font-weight: 500;
|
| 372 |
+
}
|
| 373 |
+
"""
|
| 374 |
+
|
| 375 |
+
final_css = f"{custom_css}\n{base_css}\n{intro_css}\n{markdown_css}\n{tab_css}"
|
| 376 |
|
| 377 |
# ---------------------------------------------------------------------------
|
| 378 |
# Build the Gradio UI
|