]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #49643 from zdover23/wip-doc-2023-01-05-add-padding-to-sections
authorzdover23 <1445107+zdover23@users.noreply.github.com>
Fri, 6 Jan 2023 16:13:26 +0000 (02:13 +1000)
committerGitHub <noreply@github.com>
Fri, 6 Jan 2023 16:13:26 +0000 (02:13 +1000)
doc/_static: add scroll-margin-top to custom.css

Reviewed-by: Anthony D'Atri <anthony.datri@gmail.com>

Trivial merge