MediaWiki:Common.css: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Zuendi (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Zuendi (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 31: | Zeile 31: | ||
font-size: 0.75em; | font-size: 0.75em; | ||
line-height: 1.125em; | line-height: 1.125em; | ||
} | |||
#mw-panel .vector-menu-content .CategoryTreeItem { | |||
padding: 0.25em 0; | |||
} | } | ||
Version vom 18. April 2022, 02:39 Uhr
/* CSS an dieser Stelle wirkt sich auf alle Skins aus */ /* Pad Google AdSense box in portlet in sidebar */ #p-googleadsense .pBody { padding-top: 1px; text-align: center; } html, body { margin: auto; position: relative; width: 1280px; } div#mw-head { left: 0; width:1280px; } .mw-body { margin-left: 160px; } div#mw-panel { /* width: 170px; */ left: -8px; /* default -25px */ } #mw-panel .vector-menu-content .CategoryTreeTag { font-size: 0.75em; line-height: 1.125em; } #mw-panel .vector-menu-content .CategoryTreeItem { padding: 0.25em 0; } table.wikitable > tr > th, table.wikitable > tr > td, table.wikitable > * > tr > th, table.wikitable > * > tr > td { padding: 8px; } #p-logo { left: 1.5em; float: right; } div.vectorTabs { height: 2.55em; } #left-navigation { margin-left: 10em; #p-personal { position: relative; }