diff options
-rw-r--r-- | public/css/extra.css | 2 |
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; |