body         { font-family: Times New Roman; color:#800000; font-size:10pt; scrollbar-base-color:beige; scrollbar-face-color:whitesmoke; scrollbar-arrow-color:rosybrown }
a:active     { font-family: Times New Roman; margin-top: 1.5em }
.h1           { font-family: Times New Roman; font-size: 12pt; font-weight: bold; color:#800000 }
.h2           { font-family: Times New Roman; font-size: 12pt; color:#800000 }
.h3           { font-family: Times New Roman; font-size: 10pt; font-weight: bold; color:#800000 }
.h4           { font-size: 10pt; font-family: Times New Roman; color:#800000 }
.h5           { font-size: 8pt; font-family: Times New Roman; font-weight: bold; color:#800000 }
.h6           { font-family: Times New Roman; font-size: 8pt; color:#800000 }