]> git.apps.os.sepia.ceph.com Git - ceph-ci.git/commitdiff
projects / ceph-ci.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d7cb2dd 5de590b)
Merge pull request #49637 from zdover23/wip-doc-2023-01-05-top-bar-scroll-margin...
authorzdover23 <1445107+zdover23@users.noreply.github.com>
Thu, 5 Jan 2023 15:13:53 +0000 (01:13 +1000)
committerGitHub <noreply@github.com>
Thu, 5 Jan 2023 15:13:53 +0000 (01:13 +1000)
doc/css: add scroll-margin-top to dt elements

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

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.