/**/ * { font-family: Times } p { text-indent: 1em; margin-top: 0.75em; font-size: 12pt; text-align: justify; margin-bottom: 0.75em } h1, h2, h3, h4, h5, h6 { text-align: center } hr { width: 33% } pre { font-family: Courier, monospaced }