Merge pull request #49637 from zdover23/wip-doc-2023-01-05-top-bar-scroll-margin-top-repair

doc/css: add scroll-margin-top to dt elements

Reviewed-by: Anthony D'Atri <anthony.datri@gmail.com>
This commit is contained in:
zdover23 2023-01-06 01:13:53 +10:00 committed by GitHub
commit 1650525670
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,3 +1,7 @@
dt {
scroll-margin-top: 3em;
}
ul.simple > li > ul > li:last-child {
margin-block-end : 1em;
}