From 16d4c5fc1ce0a8ec1400d83414a2e9096f7c84e7 Mon Sep 17 00:00:00 2001
From: Fons van der Plas <fonsvdplas@gmail.com>
Date: Wed, 24 Apr 2024 19:17:28 +0200
Subject: [PATCH] Update editor.css

---
 frontend/editor.css | 1 +
 1 file changed, 1 insertion(+)

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;