diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-12-13T22·21+0100 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-12-13T22·21+0100 |
commit | 4eace5adda104357caf6d63ec52d14da37162661 (patch) | |
tree | bff1d2b37113c2cf1fff10c9b33c67fe09cce71c /doc/manual | |
parent | 751ae181a1ca006f2a62bd1e68b463f8f2023a8b (diff) |
Style
Diffstat (limited to 'doc/manual')
-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; |