.smallnavtext { font-family: Helvetica; font-size: 7pt; }
.purplenavlink { color: #000033; text-decoration: none; }

.bodytext { font-family: Helvetica; color: #000000; font-size: 80%; }
.introtext { font-family: Helvetica; color: #000000; font-size: 100%; }
.footertext { font-family: Helvetica; color: #808080; font-size: 60%; }
.standardlink { color: #808080; }