html {
	// incase one does not want to honor user settings ;-)
	//font-family:        "Lucida Sans", Lucida, Helvetica, Times, sans-serif;
	//font-size:          11pt;
	font-weight:        normal;
}

body        { background: white; color: black; margin:1em; padding:0px; }

H1 { margin-top: 2.5em; }
H2 { margin-top: 2.5em; }
H3 { margin-top: 2.5em; }
H4 { margin-top: 2.5em; }

.command    { font-weight: bold; }
.envar    { font-weight: bold; }
.literal    { color: brown; }
.option    { color: blue; }
em code  { color: green; font-style: italic; }
.filename   { color: green; font-style: italic; }
.constant { color: darkblue; }
.refentrytitle { font-weight: bold; }

pre { background: #fcf6dc; padding: 5px; }

div.refnamediv { margin-left: 4em; }
div.refsynopsisdiv { margin-left: 4em; }
div.refsection { margin-left: 4em; }
h2 { margin-left: -2.8em; }

tr, th, td { vertical-align: top; }