.redbox {  border: medium #FF0000 solid}
.textbod {  font-family: "Times New Roman", Times, serif; font-size: 12px; font-style: normal; line-height: 18px}
.titletx {  font-family: "Times New Roman", Times, serif; font-size: 14px; font-style: normal; font-weight: bold; line-height: 18px; color: #FFFFFF}
.textbod2 {  font-size: 16px; line-height: 20px; font-family: "Times New Roman", Times, serif}
.thumbnail {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; line-height: 14px}
.proptitle {  font-family: "Times New Roman", Times, serif; font-size: 24px}
.disclaim {  font-family: "Times New Roman", Times, serif; font-size: 9px; font-style: italic; line-height: 10px}
.listing {  font-family: "Times New Roman", Times, serif; font-size: 14px; line-height: 20px}
.wrap {  font-family: "Times New Roman", Times, serif; font-size: 16px; line-height: 20px}
.printvers {  font-family: "Times New Roman", Times, serif; font-size: 11px; line-height: 12px}