From 5738271498c1d4581e44b077580f1131950d1ba3 Mon Sep 17 00:00:00 2001 From: Zac Dover Date: Fri, 6 Jan 2023 04:19:12 +1000 Subject: [PATCH] doc/_static: add scroll-margin-top to custom.css Add 4em of padding to the class "section", so that linked-to destinations are not obscured by the top bar. 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 f222ab8acc601..a4778ffa971dd 100644 --- a/doc/_static/css/custom.css +++ b/doc/_static/css/custom.css @@ -2,6 +2,10 @@ dt { scroll-margin-top: 3em; } +section { + scroll-margin-top: 4em; +} + ul.simple > li > ul > li:last-child { margin-block-end : 1em; } -- 2.39.5