From 381c47735ea32e38ecb7c7ed4c24f8bbb1cd123e 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 (cherry picked from commit 1865de86622592555571c1539f3c013c7936d53e) --- 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