diff options
Diffstat (limited to 'doc/manual.css')
-rw-r--r-- | doc/manual.css | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/doc/manual.css b/doc/manual.css new file mode 100644 index 0000000..621feb5 --- /dev/null +++ b/doc/manual.css @@ -0,0 +1,42 @@ + +p, pre.funcsynopsisinfo { margin-left: 0.4em; margin-right: 0.4em; } + +span.term { margin-left: 0.6em; margin-bottom: 0.0em } + +div.legalnotice { font-size: 80%; margin-left: 2em; } + +a:visited { color: darkgreen; } + +div.navheader { border-top: thin solid #bbf2bb; } +div.navfooter { border-bottom: thin solid #bbf2bb; } + +div.funcprototype { margin-top: 0.2em; margin-left: 0.4em; margin-bottom: 0.2em; } + +pre.programlisting, pre.screen { + background-color: #dddddd; + margin-left: 0.6em; margin-right: 1em; + padding: 0.3em; width: 50em; +} + +div.funcsynopsis, div.cmdsynopsis { + background-color: #dddddd; + margin-left: 0.4em; margin-right: 0.4em; + padding: 0.1em; +} + +div.warning { + border: thin solid #777777; +} + +h1.title { border-bottom: thick solid #bbf2bb; padding-bottom: 0.1em; } + +div.toc { + border-left: thick solid #bbf2bb; padding-left: 0.5em; + } + +h2, h3 { padding-left: 0.2em; padding-top: -0.1em; } + +h2 { background-color: #bbf2bb; font-size: 110%; + padding-bottom: 0.3em; padding-top: 0.2em; spacing-top: 0.1em; } + +h3 { border-bottom: thin solid #bbf2bb; } |