.heading1 { font-family: Arial, Helvetica, sans-serif; font-size: x-large; font-style: normal; color: #0000FF; text-decoration: none; font-weight: bold; font-variant: normal; text-transform: none; line-height: normal }
.heading2 { font-family: Arial, Helvetica, sans-serif; font-size: large; font-style: normal; color: #FF0000; text-decoration: none; font-weight: bold; font-variant: normal; text-transform: none; line-height: normal }
.heading3 { font-family: Arial, Helvetica, sans-serif; font-size: medium; font-style: normal; color: #0000FF; text-decoration: none; font-weight: bold; font-variant: normal; text-transform: none; line-height: normal }
.heading4 { font-family: Arial, Helvetica, sans-serif; font-size: small; font-style: normal; color: #000000; text-decoration: none; font-weight: bold; font-variant: normal; text-transform: none; line-height: normal }
.normal { font-family: Arial, Helvetica, sans-serif; font-size: small; font-style: normal; color: #000000; font-weight: normal; font-variant: normal; text-transform: none; line-height: normal ; clip:   rect(   )}
.normal_link { font-family: Arial, Helvetica, sans-serif; font-size: small; font-style: normal; color: #0000FF; text-decoration: underline; font-weight: normal; font-variant: normal; text-transform: none; line-height: normal }
.selected_link { font-family: Arial, Helvetica, sans-serif; font-size: x-small; font-style: normal; color: #FF0000; text-decoration: underline; font-weight: normal; font-variant: normal; text-transform: none; line-height: normal }
.major_link { font-family: Arial, Helvetica, sans-serif; font-size: small; font-style: normal; color: #0000FF; text-decoration: underline; font-weight: normal; font-variant: normal; text-transform: none; line-height: normal }
.selected_major_link {  font-family: Arial, Helvetica, sans-serif; font-size: small; font-style: normal; line-height: normal; font-weight: bold; font-variant: normal; text-transform: none; color: #FF0000; text-decoration: underline}
.menu_item {  font-family: Arial, Helvetica, sans-serif; font-size: x-small; font-style: normal; line-height: normal; font-weight: normal; color: #0000FF; text-decoration: underline}
.selected_menu_item {  font-family: Arial, Helvetica, sans-serif; font-size: x-small; font-style: normal; color: #FF0000; text-decoration: underline; font-weight: bold}
.bold {  font-family: Arial, Helvetica, sans-serif; font-size: medium; font-style: normal; font-weight: bold; text-decoration: none}
.document_link {  font-family: Arial, Helvetica, sans-serif; font-size: small; font-style: normal; color: #0000FF; text-decoration: underline}
.smaller {  font-family: Arial, Helvetica, sans-serif; font-size: x-small; font-style: normal; font-weight: normal; text-decoration: none}
.banner_heading {  font-family: Arial, Helvetica, sans-serif; font-size: xx-large; font-style: normal; font-weight: bold}