Update editor.css

fonsp · Apr 24, 2024 · 16d4c5f · 16d4c5f
1 parent 8dbb597
commit 16d4c5f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/frontend/editor.css b/frontend/editor.css
@@ -315,6 +315,7 @@ pluto-output div.admonition .admonition-title {
     font-weight: 600;
     margin-block-end: 0px;
     padding-left: 0.3em;
+    font-size: 1.3em;
 }
 pluto-output div.admonition .admonition-title ~ * {
     margin-block-end: 0.5em;