1<style> 2 table.head, table.foot { width: 100%; } 3 td.head-rtitle, td.foot-os { text-align: right; } 4 td.head-vol { text-align: center; } 5 div.Pp { margin: 1ex 0ex; } 6 div.Nd, div.Bf, div.Op { display: inline; } 7 span.Pa, span.Ad { font-style: italic; } 8 span.Ms { font-weight: bold; } 9 dl.Bl-diag > dt { font-weight: bold; } 10 code.Nm, code.Fl, code.Cm, code.Ic, code.In, code.Fd, code.Fn, 11 code.Cd { font-weight: bold; font-family: monospace; } 12 var { font-family: monospace; } 13 .Sh { font-size: 1.5em; padding-top: 1em; padding-bottom: 1em; } 14</style> 15