/**/ body { margin-left: 10%; margin-right: 10% } p { text-align: justify } h1, h2, h3, h4, h6 { text-align: center } hr { text-align: center; width: 50% } html > body hr { margin-right: 25%; margin-left: 25%; width: 50% } hr.full { width: 100% } html > body hr.full { margin-right: 0%; margin-left: 0%; width: 100% } hr.short { text-align: center; width: 20% } html > body hr.short { margin-right: 40%; margin-left: 40%; width: 20% } span.pagenum { font-size: 8pt } a:link { color: #00f; text-decoration: none } link { color: #00f; text-decoration: none } a:visited { color: #00f; text-decoration: none } a:hover { color: #f00 } pre { font-size: 8pt } /**/