Update app.py
Browse files
app.py
CHANGED
|
@@ -1306,10 +1306,10 @@ def main_ui():
|
|
| 1306 |
/* Code in Info-Boxen */
|
| 1307 |
.info-box code {
|
| 1308 |
background: white;
|
| 1309 |
-
padding: 3px
|
| 1310 |
border-radius: 4px;
|
| 1311 |
font-family: monospace;
|
| 1312 |
-
font-size:
|
| 1313 |
border: 1px solid #e2e8f0;
|
| 1314 |
display: inline-block;
|
| 1315 |
margin: 3px 0;
|
|
|
|
| 1306 |
/* Code in Info-Boxen */
|
| 1307 |
.info-box code {
|
| 1308 |
background: white;
|
| 1309 |
+
padding: 3px 3px;
|
| 1310 |
border-radius: 4px;
|
| 1311 |
font-family: monospace;
|
| 1312 |
+
font-size: 12px;
|
| 1313 |
border: 1px solid #e2e8f0;
|
| 1314 |
display: inline-block;
|
| 1315 |
margin: 3px 0;
|