diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/style.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css index dedca147119f..53fd9d5709c3 100644 --- a/doc/manual/style.css +++ b/doc/manual/style.css @@ -66,6 +66,12 @@ div.appendix h3 margin-top: 1.5em; } +div.refentry\.separator +{ + margin-top: 2.5em; + margin-bottom: 2em; +} + div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */ { margin-top: 1.4em; |