]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #40876 from tchaikov/wip-top-bar-spacing
authorKefu Chai <kchai@redhat.com>
Fri, 16 Apr 2021 00:25:13 +0000 (08:25 +0800)
committerGitHub <noreply@github.com>
Fri, 16 Apr 2021 00:25:13 +0000 (08:25 +0800)
doc/_theme: increasing the padding in navigation bar

Reviewed-by: Josh Durgin <jdurgin@redhat.com>

Trivial merge