2.353
Bearbeitungen
Änderungen
MediaWiki:Common.css (Quelltext anzeigen)
Version vom 23. Juli 2022, 09:22 Uhr
, 09:22, 23. Jul. 2022keine Bearbeitungszusammenfassung
padding-top: 4pt;
padding-top: 4pt;
line-height: 1.4;
line-height: 1.4;
}
.box-grau, .box-blau, .box-orange {
border-width: 1pt;
}
}
}
}