diff options
Diffstat (limited to 'doc/toc.html')
-rw-r--r-- | doc/toc.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/toc.html b/doc/toc.html index f9d766849..e0200c1e1 100644 --- a/doc/toc.html +++ b/doc/toc.html @@ -18,6 +18,14 @@ padding-bottom: 0.3em; } + #doco-content > h1, + #doco-content > h2, + #doco-content > h3, + #doco-content > h4 { + padding-top: 60px; + margin-top: -60px; + } + #region_1 .widget ul ul { list-style-type: none; padding-left: 15px; |