MediaWiki:Print.css: Unterschied zwischen den Versionen

Aktuelle Version vom 21. Mai 2017, 10:49 Uhr

/* Das folgende CSS wird in der Druckausgabe geladen. */
div#toc {
    display: none;
}