diff options
Diffstat (limited to 'man.css')
-rw-r--r-- | man.css | 33 |
1 files changed, 33 insertions, 0 deletions
@@ -0,0 +1,33 @@ +/* file : man.css + * copyright : Copyright (c) 2014-2016 Code Synthesis Ltd + * license : MIT; see accompanying LICENSE file + */ + +/* Bases: + * + * common.css + * pre-box.css + * + */ + +html {color: #333;} +#content { padding-left: 1.5em; /* Reserve for the heading. */} + +h1 +{ + font-weight: normal; + font-size: 1.58em; + line-height: 1.4em; + margin: 1.6em 0 .6em -.88em; +} + +/* Definition list for options. */ +dl.options dt {margin: 1em 0 0 0;} +dl.options dd {margin: .1em 0 0 4.5em;} + +/* Make lists inside option descriptions a tad smaller. */ +dl.options dd ul, dl.options dd ol, dl.options dd dl +{ + font-size: 0.889em; + line-height: 1.4em; +} |