From 5de590b9be49b18a0e37d1031345d94b9ba42f72 Mon Sep 17 00:00:00 2001 From: Zac Dover Date: Thu, 5 Jan 2023 22:25:43 +1000 Subject: [PATCH] doc/css: add scroll-margin-top to dt elements add "scroll-margin-top: em3;" to custom.css so that the header bar doesn't obscure the text of headwords in glossary.rst. Note that this applies only to elements in the documentation that are rendered into HTML with the dt (which stands for "description term" or "description list") tag. Other modifications will be necessary in order to ensure that the anchor points of non-dt elements are not obscured by the header 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 c44ccb450b5ec..f222ab8acc601 100644 --- a/doc/_static/css/custom.css +++ b/doc/_static/css/custom.css @@ -1,3 +1,7 @@ +dt { + scroll-margin-top: 3em; +} + ul.simple > li > ul > li:last-child { margin-block-end : 1em; } -- 2.39.5