diff options
-rw-r--r-- | doc/style.css | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css index 4287fc6..5d14a1c 100644 --- a/doc/style.css +++ b/doc/style.css @@ -27,6 +27,9 @@ div.chapter { .section .title { font-size: 1.3em; } +.section .section .title { + font-size: 1.2em; +} p { margin-top: 0; } |