From f83778f02162f5db3b402506217726c68ec11a9b 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