<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/**
 * based on code by Sebastian Faubel
 * modified by Christoph Cullmann
 */

/* common (X)HTML formats */

body {
font-size: 100%;
/* background-color: #6A9CA7; */
/* background-color: #dde3eb; */ 
/* background-color: white; */
color: black;
font-family: arial,helvetica,sans-serif;
padding: 0px;
margin: 2px;
}

table, td, th {
font-family: arial,sans-serif;
padding: 0px;
margin: 0px;
text-align: left;
}

input, select {
font-size: 0.8em;
line-height: 1em;
}

optgroup {
font-style: normal;
}

a {
  background: transparent;
  color: #17457c;
  text-decoration: none;
  font-weight: bold;
}

a:hover {
  background: transparent;
  color: #991e1e;
  text-decoration: underline;
  font-weight: bold;
}

/* main colour definitions */

.invisible {
display: none;
}

.menuheader {
height: 0;
line-height: 0;
margin: 0;
padding: 0;
font-size: 0;
background-color: #3E91EB;
}

#r2menu, #r4mirror {
background-color: #f9f8f9;
}

#logo {
/* background: url('') transparent repeat; */
}

#content {
background-color: white;
text-align: justify;
}

#leftmenu, #content, #rightmenu {
line-height: 1.5em;
}

#leftmenu, #rightmenu {
width: 20%;
}

#leftmenu h2, #rightmenu h2 {
font-size: 1em;
padding-left: 1em;
vertical-align: middle;
background-color: #3E91EB;
border-top: 0.3em solid #3E91EB;
border-bottom: 0.3em solid #3E91EB;
color: white;
margin-top: 0;
}

#leftmenu ul, #rightmenu ul {
margin: 0;
padding-left: 0.5em;
padding-bottom: 1em;
}

#leftmenu li, #rightmenu li {
font-size: 0.8em;
margin-left: 2em;
}

#leftmenu ul ul, #rightmenu ul ul {
margin: 0;
padding-left: 0;
}

#leftmenu li li, #rightmenu li li{
font-size: 0.8em;
margin-left: 1em;
}

#contentheader, #footer {
line-height: 1.5em;
font-size: 1em;
font-weight: bold;
padding-left: 1em;
vertical-align: middle;
background-color: #3E91EB;
border-top: 0.3em solid #3E91EB;
border-bottom: 0.3em solid #3E91EB;
color: white;
margin-top: 0;
}

#header {
font-size: 0.4em;
line-height: 0.8em;
height: 0.8em;
padding-left: 1em;
vertical-align: middle;
background-color: #3E91EB;
color: white;
margin: 0;
padding: 0;
border-top: 1px solid white;
border-bottom: 1px solid #206dcd;
}

#headermeu {
font-size: 1.0em;
line-height: 1.5em;
height: 1.6em;
padding-left: 1em;
vertical-align: middle;
text-align: center;
background-color: #3E91EB;
color: white;
margin: 0;
padding: 0;
border-top: 1px solid white;
border-bottom: 1px solid #206dcd;
}

#headermeu2 {
font-size: 1.0em;
line-height: 1.5em;
height: 1.6em;
padding-left: 1em;
vertical-align: middle;
text-align: center;
/* background-color: #3E91EB; */
color: white;
margin: 0;
padding: 0;
/* border-top: 1px solid white;
border-bottom: 1px solid #206dcd; */
border-top: 0px;
border-bottom: 0px;
}

#headerpath {
text-align: left;
font-weight: bold;
padding-left: 0.5em;
}

#headermenu {
text-align: right;
font-weight: bold;
padding-right: 0.5em;
}

#header a, #footer a {
color: white;
font-weight: bold;
}

#leftmenu li, #rightmenu li {
font-size: 0.8em;
}

#rightmenu h3 {
padding: 0.3em 1.3em;
font-size: 1em;
}

/* classes */

/* static IDs, ordered top to bottom */

#location {
padding-right: 1em;
vertical-align: middle;
text-align: right;
}

#location i {
color: #036;
font-style: normal;
font-size: 0.8em;
}

#location form {
margin: 0;
}

#location input, #location select {
margin: 2px;
}

#content {
background-color: white;
padding: 0.5em 1.5em 2em 1.5em;
}

#content td, #content th {
font-family: sans-serif;
line-height: 1em;
padding: 0.25em;
margin: 0;
text-align: left;
}

#content h3, #content h2, #content h1 {
color: #3E91EB;
text-align: left;
}

#quicklinks {
background-color: #E6F0F9;
font-size: 1em;
padding: 1em;
text-align: center;
margin-top: 1em;
margin-left: 0.5em;
margin-bottom: 0.5em;
margin-right: 0.5em;
}

#leftmenu, #rightmenu {
background-color: #EAE9EC;
color: #036;
}

#search {
text-align: center;
padding: 0 0 1em 0;
}

#search label {
display: none;
}

#search input, #search select {
width: 95%;
margin-bottom: 2px;
}

#hotspot {
font-size: 0.8em;
line-height: 1em;
text-align: center;
}

#rightmenu h3 {
margin-bottom: 0;
}

#footer {
width: 100%;
text-align: center;
padding: 0;
margin: 0;
}

#newsbox1 {
background-color: #E6F0F9;
margin-top: 1em;
margin-bottom: 0.5em;
}

#newsbox2 {
background-color: #FFFFFF;
margin-top: 1em;
margin-bottom: 0.5em
}
</pre></body></html>