.toc_hed1 { color: #060; font-weight: bold; font-size: 14pt; line-height: 14pt; font-family: "Times New Roman", Georgia, Times }
.toc_hed3 { font-weight: bold; font-size: 16px; line-height: 20px; font-family: "Times New Roman", Georgia, Times }
.toc_hed2 { font-weight: bold; font-size: 12pt; line-height: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: underline overline }
.toc_text1  { font-size: 13px; line-height: 15px; font-family: "Times New Roman", Georgia, Times }
.toc_text2 { font-size: 13px; line-height: 14px; font-family: "Times New Roman", Georgia, Times; margin-left: 10px }