Änderungen
}
.rahmenfarbe4 { /* Neutrale Farbe, deutlich */
border-color: #404040303030;
border-width: 1px;
}
.hintergrundfarbe1 { /* Wie Inhaltsverzeichnis */
background-color: #404040303030;
}
.hintergrundfarbe2 { /* "Grau", für Nicht-Artikel-Seiten, neutral */
