body { background: #ffffff;
        color: #000000 }
 p.link { font-weight: bold; margin-left: 10pt; font-size: 10pt; line-height: 10pt }
 h1.pubtitle { color: #000000 }
 h2.section { color: #000000 }
 h3.group { color: #000000 }