/* navigation */
a:link.navigation_hyperlink {color: #252D9B; font-size:14px; text-decoration: underline; font-style:normal; font-weight:normal; font-family: Verdana, Helvetica}
a:visited.navigation_hyperlink {color: #252D9B; font-size:14px; text-decoration: underline; font-style:normal; font-weight:normal; font-family: Verdana, Helvetica}
a:hover.navigation_hyperlink {color: #F78C0D; font-size:14px; text-decoration: underline; font-style:normal; font-weight:normal; font-family: Verdana, Helvetica}

/* intro headline text */
.intro_headline_text {color: #252D9B; font-size:30px; font-style:normal; font-weight:normal; font-family:Verdana, Helvetica; margin-top: 1px; margin-bottom: 1px;}

/* intro headline text 2 */
.intro_headline_text_2 {color: #F78C0D; font-size:24px; font-style:normal; font-weight:normal; font-family:Verdana, Helvetica; margin-top: 1px; margin-bottom: 1px;}

/* default text */
.default_text {color: #252D9B; font-size:14px; font-style:normal; font-weight:normal; font-family:Verdana, Helvetica;}

/* small text */
.small_text {color: #252D9B; font-size:11px; font-style:normal; font-weight:normal; font-family:Verdana, Helvetica;}

/* headline text */
.headline_text {color: #252D9B; font-size:30px; font-style:normal; font-weight:normal; font-family:Verdana, Helvetica; margin-top: 1px; margin-bottom: 1px;}

/* highlight */
.highlight {background-color: #FFFFCC;}

/* table headline text */
.table_headline_text {color: #252D9B; font-size:14px; font-style:normal; font-weight:bold; font-family:Verdana, Helvetica;}

/* code textbox */
.code_textbox {background-color:#FFFFFF; border-bottom:#C2C2C2 1px solid; border-left:#C2C2C2 1px solid; border-right:#C2C2C2 1px solid; border-top:#C2C2C2 1px solid; color:#000000; font-family:Verdana; font-size:11px}

strong {font-style:normal; font-weight:normal; font-family: Verdana, Helvetica;}

/* black text */
.black_text {color: #000000; font-size:14px; font-style:normal; font-weight:normal; font-family:Verdana, Helvetica;}

/* small black text */
.small_black_text {color: #000000; font-size:11px; font-style:normal; font-weight:normal; font-family:Verdana, Helvetica;}

/* headline black text */
.headline_black_text {color: #000000; font-size:30px; font-style:normal; font-weight:normal; font-family:Verdana, Helvetica; margin-top: 1px; margin-bottom: 1px;}