Update app.py
Browse files
app.py
CHANGED
@@ -31,7 +31,12 @@ custom_css = """
|
|
31 |
.gradio-container {
|
32 |
max-width: 95%!important;
|
33 |
}
|
34 |
-
|
|
|
|
|
|
|
|
|
|
|
35 |
white-space: nowrap;
|
36 |
text-overflow: ellipsis;
|
37 |
overflow: hidden;
|
@@ -225,7 +230,7 @@ def convert_to_title_case(text: str) -> str:
|
|
225 |
|
226 |
run_update_dataset()
|
227 |
|
228 |
-
block = gr.Blocks(css=custom_css)
|
229 |
with block:
|
230 |
with gr.Row(elem_id="header-row"):
|
231 |
# TITLE IMAGE
|
@@ -247,7 +252,7 @@ with block:
|
|
247 |
gr.HTML(f"<p style='text-align: center;'>Get started π on our <a href='https://github.com/hivex-research/hivex'>GitHub repository</a>!</p>")
|
248 |
|
249 |
path_ = download_leaderboard_dataset()
|
250 |
-
|
251 |
# ENVIRONMENT TABS
|
252 |
with gr.Tabs() as tabs: # elem_classes="tab-buttons"
|
253 |
for env_index in range(0, len(hivex_envs)):
|
@@ -269,7 +274,6 @@ with block:
|
|
269 |
)
|
270 |
|
271 |
|
272 |
-
|
273 |
scheduler = BackgroundScheduler()
|
274 |
scheduler.add_job(restart, "interval", seconds=86400)
|
275 |
scheduler.start()
|
|
|
31 |
.gradio-container {
|
32 |
max-width: 95%!important;
|
33 |
}
|
34 |
+
|
35 |
+
.gr-dataframe table {
|
36 |
+
width: auto;
|
37 |
+
}
|
38 |
+
|
39 |
+
.gr-dataframe td, .gr-dataframe th {
|
40 |
white-space: nowrap;
|
41 |
text-overflow: ellipsis;
|
42 |
overflow: hidden;
|
|
|
230 |
|
231 |
run_update_dataset()
|
232 |
|
233 |
+
block = gr.Blocks(css=custom_css) # Attach the custom CSS here
|
234 |
with block:
|
235 |
with gr.Row(elem_id="header-row"):
|
236 |
# TITLE IMAGE
|
|
|
252 |
gr.HTML(f"<p style='text-align: center;'>Get started π on our <a href='https://github.com/hivex-research/hivex'>GitHub repository</a>!</p>")
|
253 |
|
254 |
path_ = download_leaderboard_dataset()
|
255 |
+
# gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
|
256 |
# ENVIRONMENT TABS
|
257 |
with gr.Tabs() as tabs: # elem_classes="tab-buttons"
|
258 |
for env_index in range(0, len(hivex_envs)):
|
|
|
274 |
)
|
275 |
|
276 |
|
|
|
277 |
scheduler = BackgroundScheduler()
|
278 |
scheduler.add_job(restart, "interval", seconds=86400)
|
279 |
scheduler.start()
|