MediaWiki:Common.css: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Zeile 1: | Zeile 1: | ||
/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */ | /* Das folgende CSS wird für alle Benutzeroberflächen geladen. */ | ||
div.thumb {margin:20px;} | div.thumb {margin:20px;} | ||
− | div | + | div.toc {margin-top:24px; margin-bottom:24px;} |
Version vom 22. Mai 2019, 13:39 Uhr
/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */
div.thumb {margin:20px;}
div.toc {margin-top:24px; margin-bottom:24px;}