summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--public/css/extra.css2
1 files changed, 1 insertions, 1 deletions
diff --git a/public/css/extra.css b/public/css/extra.css
index 12be9f4b..1e0356c7 100644
--- a/public/css/extra.css
+++ b/public/css/extra.css
@@ -106,7 +106,7 @@ h6:hover .header-link {
}
.ui-toc-dropdown {
- margin-top: 20px;
+ margin-top: 23px;
margin-bottom: 20px;
padding-left: 10px;
padding-right: 10px;