diff options
-rw-r--r-- | docs/style.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/style.css b/docs/style.css index 41651e1..6d5b32d 100644 --- a/docs/style.css +++ b/docs/style.css @@ -130,8 +130,8 @@ ul#toc { list-style-type: none; } -li + li { - margin-top: 0.1em; +li { + margin-top: 0.5em; } ul ul, |