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#toc {margin-top:24px; margin-bottom:24px;} |
Version vom 22. Mai 2019, 13:37 Uhr
/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */
div.thumb {margin:20px;}
div#toc {margin-top:24px; margin-bottom:24px;}