Änderungen
K
/* Angaben für showRedundantLinks */
.redundantLinkMark {
color:green;
font-weight:bold;
}
.highlight {
background-color:#ffaa00;
}
redundantLinks entfernt - hat nix gebracht
background-color: #303030 !important;
}
a { color: #00CCFF; }
a:visited { color: #00CCFF; }