style theme
Browse files- app.py +4 -3
- src/display/css_html_js.py +2 -2
app.py
CHANGED
@@ -866,7 +866,7 @@ with demo:
|
|
866 |
gr.Textbox(
|
867 |
value=CITATION_BUTTON_TEXT,
|
868 |
label="Cite",
|
869 |
-
lines=
|
870 |
elem_id="citation-button",
|
871 |
show_copy_button=True,
|
872 |
)
|
@@ -875,10 +875,11 @@ with demo:
|
|
875 |
with gr.Column():
|
876 |
gr.Textbox(
|
877 |
value=f"""
|
878 |
-
|
879 |
|
880 |
-
|
881 |
""",
|
|
|
882 |
label="Results:")
|
883 |
|
884 |
# Set up the scheduler to refresh data periodically
|
|
|
866 |
gr.Textbox(
|
867 |
value=CITATION_BUTTON_TEXT,
|
868 |
label="Cite",
|
869 |
+
lines=8,
|
870 |
elem_id="citation-button",
|
871 |
show_copy_button=True,
|
872 |
)
|
|
|
875 |
with gr.Column():
|
876 |
gr.Textbox(
|
877 |
value=f"""
|
878 |
+
https://huggingface.co/datasets/{RESULTS_DATASET_ID}
|
879 |
|
880 |
+
Last updated: {pd.Timestamp.now().strftime("%Y-%m-%d %H:%M:%S UTC")}
|
881 |
""",
|
882 |
+
lines=8,
|
883 |
label="Results:")
|
884 |
|
885 |
# Set up the scheduler to refresh data periodically
|
src/display/css_html_js.py
CHANGED
@@ -57,7 +57,7 @@ custom_css = """
|
|
57 |
|
58 |
.version-selector select {
|
59 |
border-color: #3f3f46 !important;
|
60 |
-
border-radius:
|
61 |
}
|
62 |
|
63 |
/* Make sure the version selector is properly aligned with refresh button */
|
@@ -76,7 +76,7 @@ custom_css = """
|
|
76 |
.form,
|
77 |
.panel {
|
78 |
/* background: #18181b !important; */ /* Removed background override */
|
79 |
-
border-color: #
|
80 |
border-width: 1px !important; /* Ensure border is visible */
|
81 |
border-style: solid !important;
|
82 |
}
|
|
|
57 |
|
58 |
.version-selector select {
|
59 |
border-color: #3f3f46 !important;
|
60 |
+
border-radius: 5px;
|
61 |
}
|
62 |
|
63 |
/* Make sure the version selector is properly aligned with refresh button */
|
|
|
76 |
.form,
|
77 |
.panel {
|
78 |
/* background: #18181b !important; */ /* Removed background override */
|
79 |
+
border-color: #27272a80 !important; /* Made border color semi-transparent */
|
80 |
border-width: 1px !important; /* Ensure border is visible */
|
81 |
border-style: solid !important;
|
82 |
}
|