From: zdover23 <1445107+zdover23@users.noreply.github.com> Date: Thu, 5 Jan 2023 15:13:53 +0000 (+1000) Subject: Merge pull request #49637 from zdover23/wip-doc-2023-01-05-top-bar-scroll-margin... X-Git-Tag: v18.1.0~565 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=1650525670741fea1b27d2b1c00e4aecd70555d4;p=ceph-ci.git 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 --- 1650525670741fea1b27d2b1c00e4aecd70555d4