From: Kefu Chai Date: Fri, 16 Apr 2021 00:25:13 +0000 (+0800) Subject: Merge pull request #40876 from tchaikov/wip-top-bar-spacing X-Git-Tag: v17.1.0~2246 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=b3e9c97ff42004c5a74847f63161383b08beaad2;p=ceph.git Merge pull request #40876 from tchaikov/wip-top-bar-spacing doc/_theme: increasing the padding in navigation bar Reviewed-by: Josh Durgin --- b3e9c97ff42004c5a74847f63161383b08beaad2