A {
  text-decoration: none;
  color: #DEC121;
  background-color: transparent;
  font-weight: bold;
}

A.extern:after {
   content: " [extern] " url(pix/extern.gif);
   text-decoration: none;
  color: #ffd488;
  background-color: #000000;
  font-weight: bold;
}

A:hover {
  text-decoration: none;
  color: #000000;
  background-color: #CAA962;
  font-weight: bold;
}

.normal {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12pt;
}

.klein {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10pt;
}

.head {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 18pt;
  font-style: normal;
  font-weight: bold;
  color: #ffd488;
}

body {
	scrollbar-base-color: #C9AA63;
	scrollbar-highlight-color: #E4DCB6;
	scrollbar-arrow-color: #000000;
	scrollbar-shadow-color: #806B3C;
	scrollbar-face-color : #C9AA63;
}