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