.table_title {     color: black;
                   font-size: 10pt;
                   font-weight: bold;
                   text-align: center;
                   text-decoration: underline overline;
                   border-style: outset;
                   border-top-width: thin;
                   border-right-width: thin;
                   border-bottom-width: thin;
                   border-left-width: thin;}

body {             font-family: Arial, Helvetica, sans-serif;
                   color: #004080}

p {                font-size: 9pt}

td {               font-size: 9pt}

A {                color: blue;}

A:hover {          color:green}

ul {               font-size: 9pt}

.headline {        color: red;
                   font-size: 10pt;
                   text-decoration: underline;}

.teaser {          color: black;
                   font-size: 9pt;
                   font-weight: bold}

.body_text {       font-size: 9pt}

.visited_no_line { font-size: 9pt;
                   text-decoration: none}

.visited {         font-size: 9pt;}

.menu_title {      color: #333333;
                   font-size: 9pt;
                   text-decoration: none; white-space: nowrap; margin-top: 8px; margin-bottom: 8px}

.current_menu_title {  color: red;
                   font-size: 9pt;
                   text-decoration: none; white-space: nowrap; margin-top: 8px; margin-bottom: 8px}

.menu_sub_title {  color: #666666;
                   font-size: 9pt;
                   text-decoration: none; white-space: nowrap; margin-top: -15px; margin-bottom: -15px}

.required {        color: #FF0000; text-decoration: underline;}

.req_err {        color: #FF0000; text-decoration: underline; background-color: #FFFF00}
.date_label {     font-size: 8pt;}