Spaces:
Running
Running
Update src/streamlit_app.py
Browse files- src/streamlit_app.py +14 -5
src/streamlit_app.py
CHANGED
|
@@ -7,17 +7,26 @@ from io import BytesIO
|
|
| 7 |
# βββ Page config ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 8 |
st.set_page_config(page_title="ExpertLongBench Leaderboard", layout="wide")
|
| 9 |
|
| 10 |
-
|
| 11 |
logo_image = Image.open("src/ExpertLongBench.png")
|
| 12 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 13 |
# Display logo
|
| 14 |
-
buffered = BytesIO()
|
| 15 |
-
logo_image.save(buffered, format="PNG")
|
| 16 |
-
img_data = base64.b64encode(buffered.getvalue()).decode("utf-8")
|
|
|
|
|
|
|
| 17 |
|
|
|
|
| 18 |
st.markdown(
|
| 19 |
f"""
|
| 20 |
-
<div class="logo-container" style="display:flex; justify-content: center;">
|
|
|
|
| 21 |
<img src="data:image/png;base64,{img_data}" style="width:50%; max-width:700px;"/>
|
| 22 |
</div>
|
| 23 |
""",
|
|
|
|
| 7 |
# βββ Page config ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 8 |
st.set_page_config(page_title="ExpertLongBench Leaderboard", layout="wide")
|
| 9 |
|
| 10 |
+
logo_small = Image.open("src/logo.png")
|
| 11 |
logo_image = Image.open("src/ExpertLongBench.png")
|
| 12 |
|
| 13 |
+
def encode_image(image):
|
| 14 |
+
buffered = BytesIO()
|
| 15 |
+
image.save(buffered, format="PNG")
|
| 16 |
+
return base64.b64encode(buffered.getvalue()).decode("utf-8")
|
| 17 |
+
|
| 18 |
# Display logo
|
| 19 |
+
# buffered = BytesIO()
|
| 20 |
+
# logo_image.save(buffered, format="PNG")
|
| 21 |
+
# img_data = base64.b64encode(buffered.getvalue()).decode("utf-8")
|
| 22 |
+
img_logo = encode_image(logo_small)
|
| 23 |
+
img_data = encode_image(logo_image)
|
| 24 |
|
| 25 |
+
# <div class="logo-container" style="display:flex; justify-content: center;">
|
| 26 |
st.markdown(
|
| 27 |
f"""
|
| 28 |
+
<div class="logo-container" style="display:flex; justify-content: center; align-items: center; gap: 20px;">
|
| 29 |
+
<img src="data:image/png;base64,{img_data}" style="width:60px;"/>
|
| 30 |
<img src="data:image/png;base64,{img_data}" style="width:50%; max-width:700px;"/>
|
| 31 |
</div>
|
| 32 |
""",
|