Merge "(bug 30410) Remove deprecated $wgFilterCallback. The 'filtered' API error...
[lhc/web/wiklou.git] / skins / vector / screen-hd.css
1 /* Vector screen styles for high definition displays */
2
3 div#content {
4 margin-left: 11em;
5 padding: 1.25em 1.5em 1.5em 1.5em;
6 }
7 #p-logo {
8 left: 0.5em;
9 }
10 div#footer {
11 margin-left: 11em;
12 padding: 1.25em;
13 }
14 div#mw-panel div.portal div.body {
15 padding-left: 0.5em;
16 }
17 div#mw-panel div.portal h5 {
18 padding-left: 2.25em;
19 }
20 #p-search {
21 margin-right: 1em;
22 }
23 #left-navigation {
24 left: 11em;
25 }
26 #p-personal {
27 right: 1em;
28 }
29 #mw-head-base {
30 margin-left: 11em;
31 }