diff --git a/frontend/editor.css b/frontend/editor.css index 37e405251c..be40d5bc68 100644 --- 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;