MediaWiki:Common.css: Unterschied zwischen den Versionen
| Zeile 1: | Zeile 1: | ||
/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */ | /* Das folgende CSS wird für alle Benutzeroberflächen geladen. */ | ||
.mw-headline-number { display: one; } | .mw-headline-number { display: one; } | ||
| − | .noautonum | + | .noautonum .tocnumber { display: none; } |
| − | .tocnumber { display: | + | .tocnumber .tocnumber { display: 1; } |
Version vom 30. Juli 2017, 15:43 Uhr
/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */
.mw-headline-number { display: one; }
.noautonum .tocnumber { display: none; }
.tocnumber .tocnumber { display: 1; }
