.body { font-size: 13px; font-family: Times, "Times New Roman" }
.headline { font-size: 18px; font-family: "Avant Garde", Verdana, Arial, Helvetica }
.index { font-size: 10px; font-family: Times, "Times New Roman", Verdana, Arial, Helvetica }
.bodytext { font-size: 12px; font-family: Times, "Times New Roman" }
.leftmargins { margin-left: 8px }