MediaWiki:Common.css: Unterschied zwischen den Versionen

Version vom 25. April 2023, 09:43 Uhr

/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */
.mw-body, h1 {
font-family: 'Roboto';
}
.mw-headline {
font-weight: bold;
}