.Headingsplain { font-family: "Times New Roman", Times, serif; font-size: 24px; font-style: normal ; text-decoration: underline}
.SmallHeadings { font-family: "Times New Roman", Times, serif; font-size: 18px; font-style: normal ; text-decoration: underline }
.NavBar5pre { font-family: "Times New Roman", Times, serif; font-size: 18px; font-style: normal; white-space: pre }