From: zdover23 <1445107+zdover23@users.noreply.github.com> Date: Thu, 5 Jan 2023 15:14:14 +0000 (+1000) Subject: Merge pull request #49639 from zdover23/wip-doc-2023-01-05-backport-49637-to-quincy X-Git-Tag: v17.2.6~240 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=351d8feb6b2afc2bdf62d801edaf0a99a72ead6c;p=ceph.git Merge pull request #49639 from zdover23/wip-doc-2023-01-05-backport-49637-to-quincy quincy: doc/css: add scroll-margin-top to dt elements Reviewed-by: Anthony D'Atri --- 351d8feb6b2afc2bdf62d801edaf0a99a72ead6c