Spaces:
Running
Running
| import os | |
| import streamlit as st | |
| from st_pages import get_nav_from_toml, add_page_title | |
| from app.backend.app_init_func import init_leaderboard, init_pages | |
| from app.backend.data_engine import DataEngine | |
| # init global data engine | |
| data_engine = DataEngine() | |
| st.session_state["data_engine"] = data_engine | |
| st.set_page_config(layout="wide") | |
| # init leaderboard and pages | |
| leaderboard_change, page_change = init_leaderboard() | |
| init_pages(leaderboard_change, page_change) | |
| # load page tree | |
| nav = get_nav_from_toml( | |
| "app/ui/pages_sections.toml" | |
| ) | |
| # Add custom CSS | |
| st.markdown(""" | |
| <style> | |
| div[data-testid="stToolbar"] {visibility: hidden; height: 0px;} | |
| footer {visibility: hidden;} | |
| /* Indent Domain and Languages sections under Text Leaderboard */ | |
| ul[data-testid="stSidebarNavItems"] > div:nth-child(2), | |
| ul[data-testid="stSidebarNavItems"] > div:nth-child(3) { | |
| padding-left: 1.5rem; | |
| border-left: 2px solid rgba(129, 150, 64, 0.3); | |
| margin-left: 0.75rem; | |
| } | |
| </style> | |
| """, unsafe_allow_html=True) | |
| pg = st.navigation(nav) | |
| # add_page_title(pg) | |
| pg.run() | |