MediaWiki:Common.css: Unterschied zwischen den Versionen

22 Bytes hinzugefügt ,  15:37, 16. Mai 2022
keine Bearbeitungszusammenfassung
Zeile 1.701: Zeile 1.701:
}
}
.mw-editfont-monospace {
.mw-editfont-monospace {
font-size: 12pt;
font-size: 12pt !important;
line-height:1.1em;
line-height:1.1em !important;
}
}