From c28cb533909a9ac0010e160e86d2a8dc23ea9675 Mon Sep 17 00:00:00 2001 From: Zac Dover Date: Wed, 11 Jan 2023 04:48:32 +1000 Subject: [PATCH] doc/css: add top-bar padding for h3 html element Add "scroll-margin-top: 4em;" property to h3 html element. Signed-off-by: Zac Dover --- doc/_static/css/custom.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css index 3a8dd5539ac49..2a37cab999590 100644 --- a/doc/_static/css/custom.css +++ b/doc/_static/css/custom.css @@ -6,6 +6,10 @@ h2 { scroll-margin-top: 4em; } +h3 { + scroll-margin-top: 4em; +} + section { scroll-margin-top: 4em; } -- 2.39.5