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",
|
@@ -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
|
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='121212',
|
75 |
+
secondary_hue='121212',
|
76 |
+
neutral_hue='121212',
|
77 |
font=(fonts.GoogleFont("Inter"), "sans-serif")
|
78 |
).set(
|
79 |
# font_size="16px",
|
|
|
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",
|