doc/_theme: increasing the padding in navigation bar

otherwise the "home-icon" and the right most "Edit on GitHub" are displayed
right next to the left and right borders of the top-bar.

Signed-off-by: Kefu Chai <kchai@redhat.com>

diff --git a/doc/_themes/ceph/static/ceph.css_t b/doc/_themes/ceph/static/ceph.css_t
index cd5ad6090750d91c19eb1b5be7c3f0b1679d7cb4..a824b0fcd30f41bde0acce839562f5420f9af016 100644 (file)
--- a/doc/_themes/ceph/static/ceph.css_t
+++ b/doc/_themes/ceph/static/ceph.css_t
@@ -16,6 +16,7 @@
 
 .top-bar > div[role=navigation] > ul {
   border-top: 5px solid #9C4850;
+  padding: 0 1em;
 }
 
 .top-bar > div[role=navigation] > hr {