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