diff options
Diffstat (limited to 'doc/style.css')
| -rw-r--r-- | doc/style.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css index 85cdbd247..235d4da87 100644 --- a/doc/style.css +++ b/doc/style.css @@ -132,11 +132,13 @@ div#linkList ul { div#linkList li { margin-left: 1em; + padding-bottom: 0.2em; } div#linkList li.navhead { font-weight: bold; margin-left: 0px; + padding-bottom: 0.25em; } #nav dl { |