Änderungen
K
keine Bearbeitungszusammenfassung
border: 2px solid #EEEEEE !important;
background-color: #303030 !important;
}
/* Angaben für showRedundantLinks */
.redundantLinkMark {
color:green;
font-weight:bold;
}
.highlight {
background-color:#ffaa00;
}