.headertext {  font-family: "Times New Roman", Times, serif; font-size: 150%; font-weight: bolder; color: #660000}
.bodytext {  font-family: "Times New Roman", Times, serif; font-size: 100%; font-weight: bolder; color: #660000}
.redtext {  font-family: "Times New Roman", Times, serif; font-size: 100%; font-weight: bolder; color: #FF0000}
.menutext {  font-family: "Times New Roman", Times, serif; font-size: 90%; font-weight: bolder; color: #FFECB0}
.smalltext {  font-family: "Times New Roman", Times, serif; font-size: 100%; font-weight: normal; color: #660000}
.list {  font-family: "Courier New", Courier, mono; color: #660000; font-size: 120%; line-height: 2%}
.headertext2 { font-family: "Times New Roman", Times, serif; font-size: 175%; font-weight: bolder; color: #660000 }
.small { font-family: "Times New Roman", Times, serif; font-size: 80%; font-weight: normal; color: #FFECB0 }