Update app.py

app.py

@@ -64,6 +64,28 @@ except ImportError:
     def add_new_eval(*_):
         return "Submission placeholder."
 
+
+icons_html = """
+<p align="center" style="font-family:'Segoe UI', Roboto, sans-serif; font-weight:bold; text-transform:uppercase;">
+  <a href="https://arxiv.org/abs/1706.03762">
+    <img src="https://img.shields.io/badge/Arxiv-1706.03762-000000.svg?style=flat-square&logo=arxiv&logoColor=%23FFD700&labelColor=000000" height="28">
+  </a>
+  &nbsp;&nbsp;&nbsp;
+  <a href="https://mle-dojo.github.io/MLE-Dojo-page/">
+    <img src="https://img.shields.io/badge/Project%20Website-%20-000000.svg?style=flat-square&logo=Google-Chrome&logoColor=%23FFD700&labelColor=000000" height="28">
+  </a>
+  &nbsp;&nbsp;&nbsp;
+  <a href="https://huggingface.co/spaces/MLE-Dojo/Leaderboard">
+    <img src="https://img.shields.io/badge/Leaderboard-000000.svg?style=flat-square&logo=github&logoColor=%23FFD700&labelColor=000000" height="28">
+  </a>
+</p>
+"""
+
+# Append the icons HTML to the INTRODUCTION_TEXT
+# It's important that INTRODUCTION_TEXT is a string here.
+# If IMPORTED_INTRODUCTION_TEXT from src.about could be non-string, you'd need more checks.
+INTRODUCTION_TEXT += icons_html
+
 # ---------------------------------------------------------------------------
 # Leaderboard data (static demo data for now)
 # ---------------------------------------------------------------------------
@@ -219,6 +241,31 @@ def restart_space():
 # ---------------------------------------------------------------------------
 
 # --- CLEAN introduction typography override ---
+# intro_css = """
+# /* --------------------------------------------------
+#    INTRODUCTION BLOCK  (font, size, alignment)
+#    -------------------------------------------------- */
+# .introduction-wrapper, .introduction-section {
+#     font-family: Arial, sans-serif; /* Added sans-serif fallback */
+#     font-size: 1.3rem !important;  /* ≈22–23 px */
+#     line-height: 1.75;
+#     /* color: #344054; */ /* Rely on theme for base text color */
+#     text-align: center;
+#     max-width: 1000px;
+#     margin: 0 auto 1rem auto;
+# }
+# .introduction-wrapper p, .introduction-section p {
+#     font-size: 1.3rem !important;  /* ≈22–23 px */
+#     margin-bottom: 0.5rem;
+#     /* color: inherit; */ /* Inherit color from parent/theme */
+# }
+# @media (max-width: 768px) {
+#     .introduction-wrapper, .introduction-section {
+#         font-size: 1.3rem !important; /* Maintain size on mobile */
+#     }
+# }
+# """
+
 intro_css = """
 /* --------------------------------------------------
    INTRODUCTION BLOCK  (font, size, alignment)
@@ -237,6 +284,12 @@ intro_css = """
     margin-bottom: 0.5rem;
     /* color: inherit; */ /* Inherit color from parent/theme */
 }
+/* The icons HTML is part of the Markdown content now, so specific CSS for it might go here or be general Markdown paragraph styling */
+.introduction-wrapper > p:last-child { /* Targets the paragraph with icons if it's the last child */
+    margin-top: 1rem; /* Add some space above the icons */
+    margin-bottom: 1.5rem; /* Add some space below the icons */
+}
+
 @media (max-width: 768px) {
     .introduction-wrapper, .introduction-section {
         font-size: 1.3rem !important; /* Maintain size on mobile */