@charset 'ISO-8859-1';

body {
 font-family: Arial;
 font-size: x-small;
 color: #000C71;
}
<!-- Hyperlinkformatierung -->
a {
 font-family: Arial;
 font-size: x-small;
 color: #000C71;
 text-decoration: none;
}

a:link {
 font-family: Arial;
 font-size: x-small;
 color: #000C71;
 text-decoration: none;
}

a:visited {
 font-family: Arial;
 font-size: x-small;
 color: #000C71;
 text-decoration: none;
}

<!-- Tabellenformatierungen -->
table {
 font-size: x-small;
 text-align: left;
 vertical-align: top;
}

.navigation {
 color: #000C71;
 vertical-align: top;
 font-size: x-small;
 font-weight: bold;
}

 .text {
 color: #000099;
 vertical-align: top;
 font-size: x-small;
}
/* ~~~~~ EOF ~~~~~ */