/* CSS-Definitionen für die Ausgabe von Debug-Informationen [alle Portale] */

p.debugInfo {
  font-family: verdana, arial, sans-serif;
  font-size: 8pt;
  font-weight: bold;
  text-align: left;
  margin-top: 3px;
  margin-bottom: 3px;
  margin-left: 6px;
  margin-right: 6px;
  color: #000000;
 }
pre.debugInfo {
  font-family: courier-new;
  font-size: 9pt;
  font-weight: normal;
  text-align: left;
  margin-top: 6px;
  margin-bottom: 9px;
  margin-left: 18px;
  margin-right: 18px;
  color: #000000;
 }
p.debugError {
  font-family: verdana, arial, sans-serif;
  font-size: 8pt;
  font-weight: bold;
  text-align: left;
  margin-top: 3px;
  margin-bottom: 3px;
  margin-left: 6px;
  margin-right: 6px;
  color: #7F0000;
 }
p.debugLink {
  font-family: verdana, arial, sans-serif;
  font-size: 8pt;
  font-weight: bold;
  text-align: left;
  margin-top: 3px;
  margin-bottom: 3px;
  margin-left: 6px;
  margin-right: 6px;
  color: #000000;
 }
a.debugLink:link {
  text-decoration: none;
  color: #000066;
 }
a.debugLink:visited {
  text-decoration: none;
  color: #000066;
 }
a.debugLink:active {
  text-decoration: none;
  color: #000066;
 }
a.debugLink:hover {
  text-decoration: underline;
  color: #333399;
 }