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 @@
{{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;
}