leaderboard/css.py

ACCENT = "#245ED4"  # OLMo Blue. Not currently used.
custom_css = """

/* Full width space */
.gradio-container {
  max-width: 95%;
}

/* Text tyle and margins */
.markdown-text {
  font-size: 17px !important;
}

.tab-buttons button {
  font-size: 30px;
}

h1 {
  font-size: 32px !important;
  margin-top: 0px !important;
}
"""