MediaWiki:Common.css: Unterschied zwischen den Versionen

Version vom 2. Juli 2023, 12:52 Uhr

/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */

.noautonum .tocnumber { display: none; }