8.581
Bearbeitungen
MediaWiki:Common.css: Unterschied zwischen den Versionen
MediaWiki:Common.css (Quelltext anzeigen)
Version vom 25. Januar 2022, 13:49 Uhr
, 13:49, 25. Jan. 2022keine Bearbeitungszusammenfassung
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 209: | Zeile 209: | ||
border-radius: 6px; | border-radius: 6px; | ||
font-family: 'Andale Mono', 'Courier New', monospace; | font-family: 'Andale Mono', 'Courier New', monospace; | ||
font-size: 86%; | |||
padding: 0.8rem; | |||
} | } | ||
code, | code, | ||