From 38d1eac7f56c001ec787310fc9ba7c7d15b064f3 Mon Sep 17 00:00:00 2001 From: Lukas Neubert Date: Sat, 20 Feb 2021 14:16:51 +0100 Subject: [PATCH] vdoc: fix padding above heading (#8842) --- cmd/tools/vdoc/resources/doc.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cmd/tools/vdoc/resources/doc.css b/cmd/tools/vdoc/resources/doc.css index fbef94c7c0..24d685b59b 100644 --- a/cmd/tools/vdoc/resources/doc.css +++ b/cmd/tools/vdoc/resources/doc.css @@ -593,7 +593,7 @@ pre { .doc-content { font-size: 0.95rem; flex: 1; - padding: 1rem 2rem; + padding: 0rem 2rem 1rem 2rem; } .doc-toc { position: relative;