style theme
Browse files
app.py
CHANGED
@@ -71,9 +71,9 @@ except Exception as e:
|
|
71 |
LEADERBOARD_DF = pd.DataFrame()
|
72 |
|
73 |
custom_theme = gr.themes.Default(
|
74 |
-
primary_hue=
|
75 |
-
secondary_hue=
|
76 |
-
neutral_hue=
|
77 |
font=(fonts.GoogleFont("Inter"), "sans-serif")
|
78 |
).set(
|
79 |
# font_size="16px",
|
@@ -85,9 +85,9 @@ custom_theme = gr.themes.Default(
|
|
85 |
block_border_color="#333333", # Cooler Grey
|
86 |
block_shadow="none",
|
87 |
# Swapped primary and secondary button styles
|
88 |
-
button_primary_background_fill="#
|
89 |
button_primary_text_color="#f4f4f5",
|
90 |
-
button_primary_border_color="#333333", #
|
91 |
button_secondary_background_fill="#f4f4f5",
|
92 |
button_secondary_text_color="#0f0f10",
|
93 |
button_secondary_border_color="#f4f4f5",
|
@@ -581,7 +581,7 @@ with demo:
|
|
581 |
with tabs:
|
582 |
with gr.TabItem("Leaderboard", elem_id="guardbench-leaderboard-tab", id=0):
|
583 |
with gr.Row():
|
584 |
-
refresh_button = gr.Button("Refresh", variant="primary")
|
585 |
version_selector = gr.Dropdown(
|
586 |
choices=BENCHMARK_VERSIONS,
|
587 |
label="Benchmark Version",
|
|
|
71 |
LEADERBOARD_DF = pd.DataFrame()
|
72 |
|
73 |
custom_theme = gr.themes.Default(
|
74 |
+
primary_hue=colors.slate,
|
75 |
+
secondary_hue=colors.slate,
|
76 |
+
neutral_hue=colors.neutral,
|
77 |
font=(fonts.GoogleFont("Inter"), "sans-serif")
|
78 |
).set(
|
79 |
# font_size="16px",
|
|
|
85 |
block_border_color="#333333", # Cooler Grey
|
86 |
block_shadow="none",
|
87 |
# Swapped primary and secondary button styles
|
88 |
+
button_primary_background_fill="#121212", # Changed to specific color for Refresh button
|
89 |
button_primary_text_color="#f4f4f5",
|
90 |
+
button_primary_border_color="#333333", # Keep border grey or change to #121212?
|
91 |
button_secondary_background_fill="#f4f4f5",
|
92 |
button_secondary_text_color="#0f0f10",
|
93 |
button_secondary_border_color="#f4f4f5",
|
|
|
581 |
with tabs:
|
582 |
with gr.TabItem("Leaderboard", elem_id="guardbench-leaderboard-tab", id=0):
|
583 |
with gr.Row():
|
584 |
+
refresh_button = gr.Button("Refresh Leaderboard", variant="primary")
|
585 |
version_selector = gr.Dropdown(
|
586 |
choices=BENCHMARK_VERSIONS,
|
587 |
label="Benchmark Version",
|