From bc28d3852ebdb6af0462a1ff3919325bfb9a9b3c Mon Sep 17 00:00:00 2001 From: yggverse Date: Sun, 10 Aug 2025 09:54:10 +0300 Subject: [PATCH] reduce margin --- public/theme/default.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/public/theme/default.css b/public/theme/default.css index a6f74bf..60c145d 100644 --- a/public/theme/default.css +++ b/public/theme/default.css @@ -94,7 +94,7 @@ header::first-letter { } header > div { - margin-top: 16px; + margin-top: 12px; } header > div > code:not(:last-child)::after {