h1 {font-family: times; text-transform: uppercase; text-indent: 4mm; margin-top: 2mm}
    h1.blue {color: #000099}
    h3 {font-family: times; text-indent: 4mm; margin-top: 2mm}
    h3.blue {color: #000099}
    p {font-family: sans-serif}
    p.blue {color: #000099; margin-left: 4mm; margin-right: 12mm}
    p.bluesmall {color: #000099; margin-left: 4mm; margin-right: 12mm; font-size: 80%}
    p.lastmod {font-family: sans-serif; font-size: 60%; margin-left: 0mm}
    table.fixtab {table-layout: fixed}
    a.nounderline {text-decoration: none}
    div.emphasis {font-weight: bold}
    tr.padded {padding-top: 2mm; padding-bottom: 2mm;}