Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -147,13 +147,13 @@ def restart_space():
|
|
147 |
# If the imported custom_css already has content, append to it.
|
148 |
font_size_css = """
|
149 |
body {
|
150 |
-
font-size: 1.
|
151 |
}
|
152 |
/* Optional: Target specific elements if needed */
|
153 |
/*
|
154 |
#leaderboard-table th, #leaderboard-table td {
|
155 |
font-size: 1em !important; /* Adjust table font size relative to new body size */
|
156 |
-
padding:
|
157 |
}
|
158 |
h1, .markdown-text h1 { font-size: 2.2em !important; } /* Make main title larger */
|
159 |
h2, .markdown-text h2 { font-size: 1.8em !important; } /* Make section titles larger */
|
|
|
147 |
# If the imported custom_css already has content, append to it.
|
148 |
font_size_css = """
|
149 |
body {
|
150 |
+
font-size: 1.5em !important; /* Increase base font size */
|
151 |
}
|
152 |
/* Optional: Target specific elements if needed */
|
153 |
/*
|
154 |
#leaderboard-table th, #leaderboard-table td {
|
155 |
font-size: 1em !important; /* Adjust table font size relative to new body size */
|
156 |
+
padding: 5px 7px !important; /* Increase padding for better spacing */
|
157 |
}
|
158 |
h1, .markdown-text h1 { font-size: 2.2em !important; } /* Make main title larger */
|
159 |
h2, .markdown-text h2 { font-size: 1.8em !important; } /* Make section titles larger */
|