/* statisches DIV, damit das Menu immer sichtbar ist */
div.fixmenu {
  margin: 0;
  line-height: 1.1;
  position: fixed;
  top: 0em;
  left: 0em;
  width: 8.5em;
  right: auto;
}
div.fixmenu p {
  margin: 0; 
  padding: 0.3em 0.4em;
}

div.fixmenu a, div.fixmenu em { display: block; margin: 0 0.5em }

body>div.banner {position: fixed} /* fix für IE, damit alles ignoriert wird */

/* Laufschrift für die aktuellen News */
.newsflashrun {
	font-family: verdana;
	font-size: 10px;
}

a.nfrun:link {
	font-family: verdana, arial, sans-serif;
	font-size: 10px;
	text-decoration: none;
	color: #000000;
}

a.nfrun:visited {
	font-family: verdana, arial, sans-serif;
	font-size: 10px;
	text-decoration: none;
	color: #000000;
}

a.nfrun:active {
	font-family: verdana, arial, sans-serif;
	font-size: 10px;
	text-decoration: none;
	color: #000000;
}

a.nfrun:hover {
	font-family: verdana, arial, sans-serif;
	font-size: 10px;
	text-decoration: none;
	color: #FF0000;
}

/* Menu Links */

a.hover:link {
	font-family: verdana, arial, sans-serif;
	font-size: 12px;
	text-decoration: none;
	color: #FCD607;
}

a.hover:visited {
	font-family: verdana, arial, sans-serif;
	font-size: 12px;
	text-decoration: none;
	color: #FCD607;
}

a.hover:active {
	font-family: verdana, arial, sans-serif;
	font-size: 12px;
	text-decoration: none;
	color: #FCD607;
}

a.hover:hover {
	font-family: verdana, arial, sans-serif;
	font-size: 12px;
	text-decoration: none;
	color: #FFFFFF;
}

a.menu:link {
	font-family: verdana, arial, sans-serif;
	font-size: 12px;
	text-decoration: none;
	color: #FFFFFF;
}

a.menu:visited {
	font-family: verdana, arial, sans-serif;
	font-size: 12px;
	text-decoration: none;
	color: #FFFFFF;
}

a.menu:active {
	font-family: verdana, arial, sans-serif;
	font-size: 12px;
	text-decoration: none;
	color: #FFFFFF;
}

a.menu:hover {
	font-family: verdana, arial, sans-serif;
	font-size: 12px;
	text-decoration: none;
	color: #FCD607;
}