1 1.1 christos * { margin: 0; padding: 0; } 2 1.1 christos 3 1.1 christos body { 4 1.1 christos font-family: monospace; 5 1.1 christos font-size: 1em; 6 1.1 christos margin: 2% auto; 7 1.1 christos max-width: 54em; 8 1.1 christos } 9 1.1 christos 10 1.1 christos ul { margin-left: 1em; } 11 1.1 christos a { color: #009900; } 12 1.1 christos .Sh { font-size: 1em; padding-top: 1em; padding-bottom: 1em; } 13 1.1 christos .foot { padding-top: 1em; } 14 1.1 christos 15 1.1 christos table.head, table.foot { width: 100%; } 16 1.1 christos td.head-rtitle, td.foot-os { text-align: right; } 17 1.1 christos td.head-vol { text-align: center; } 18 1.1 christos div.Pp { margin: 1ex 0ex; } 19 1.1 christos div.Nd, div.Bf, div.Op { display: inline; } 20 1.1 christos span.Pa, span.Ad { font-style: italic; } 21 1.1 christos span.Ms { font-weight: bold; } 22 1.1 christos dl.Bl-diag > dt { font-weight: bold; } 23 1.1 christos code.Nm, code.Fl, code.Cm, code.Ic, code.In, code.Fd, code.Fn, 24 1.1 christos code.Cd { font-weight: bold; font-family: inherit; } 25