diff options
Diffstat (limited to 'doc/style.css')
| -rw-r--r-- | doc/style.css | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css index a4aa19e..e70190a 100644 --- a/doc/style.css +++ b/doc/style.css @@ -72,6 +72,12 @@ DIV.refsynopsisdiv { margin-bottom: 3em !important; } +H1 { + position: relative; + left: -1em; + font-weight: normal !important; +} + H2 { position: relative; left: -1em; @@ -83,3 +89,20 @@ H3 { left: -1em; font-weight: normal !important; } + +CODE.option { + white-space: nowrap; +} + +DIV.toc DL { + margin-top: 0; + margin-bottom: 0; +} + +DIV.toc > DL > DT { + margin-top: 1em; +} + +DIV.toc DT { + margin-bottom: 0.3em; +} |