MediaWiki:Common.css: Unterschied zwischen den Versionen
(Die Seite wurde neu angelegt: «→Das folgende CSS wird für alle Benutzeroberflächen geladen.: // Für Extension SyntaxHighlight_GeSHi // .mw-highlight pre { font-size: 90%; }») |
(kein Unterschied)
|
Aktuelle Version vom 30. Mai 2019, 13:50 Uhr
/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */
// Für Extension SyntaxHighlight_GeSHi //
.mw-highlight pre {
font-size: 90%;
}