From 7d66bfbb7c6bc3903bd8e68f96d106a422986cd2 Mon Sep 17 00:00:00 2001
From: albertony <12441419+albertony@users.noreply.github.com>
Date: Wed, 13 Oct 2021 15:04:11 +0200
Subject: [PATCH] docs: toc styling (#5695)

---
 docs/layouts/chrome/menu.html | 1 +
 docs/static/css/custom.css    | 6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/docs/layouts/chrome/menu.html b/docs/layouts/chrome/menu.html
index 57c8935af..3db7f54bd 100644
--- a/docs/layouts/chrome/menu.html
+++ b/docs/layouts/chrome/menu.html
@@ -5,6 +5,7 @@
   </div>
   <div class="card-body">
     {{ .TableOfContents }}
+    <p></p>
   </div>
 </div>
 {{end}}
diff --git a/docs/static/css/custom.css b/docs/static/css/custom.css
index 1786aa78f..b39a74494 100644
--- a/docs/static/css/custom.css
+++ b/docs/static/css/custom.css
@@ -180,11 +180,11 @@ a.badge-primary.focus, a.badge-primary:focus {
 nav#TableOfContents ul {
     list-style-type: none;
     padding: 0.0rem;
-    margin: 0.5rem;
+    margin: 0rem 0.5rem 0rem 0.5rem;
     font-size: 90%;
     white-space: nowrap;
-    overflow:hidden;
+    overflow: hidden;
 }
 nav#TableOfContents ul:hover {
-    overflow:visible;
+    overflow: visible;
 }