File size: 1,146 Bytes
41e170e
 
 
 
 
 
e1ce0ca
41e170e
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
e1ce0ca
41e170e
e1ce0ca
 
 
 
 
 
 
 
 
 
41e170e
e1ce0ca
41e170e
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
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()