Index: trunk/phase3/skins/vector/main-ltr.css |
— | — | @@ -216,6 +216,7 @@ |
217 | 217 | background-repeat: no-repeat; |
218 | 218 | padding-left: 1px; |
219 | 219 | margin-left: -1px; |
| 220 | + font-size:100% !important; |
220 | 221 | } |
221 | 222 | /* OVERRIDDEN BY COMPLIANT BROWSERS */ |
222 | 223 | div.vectorMenu h5 a { |
Index: trunk/phase3/skins/vector/main-rtl.css |
— | — | @@ -216,6 +216,7 @@ |
217 | 217 | background-repeat: no-repeat; |
218 | 218 | padding-left: 1px; |
219 | 219 | margin-left: -1px; |
| 220 | + font-size:100% !important; |
220 | 221 | } |
221 | 222 | /* OVERRIDDEN BY COMPLIANT BROWSERS */ |
222 | 223 | div.vectorMenu h5 a { |
Index: trunk/phase3/includes/DefaultSettings.php |
— | — | @@ -1606,7 +1606,7 @@ |
1607 | 1607 | * to ensure that client-side caches do not keep obsolete copies of global |
1608 | 1608 | * styles. |
1609 | 1609 | */ |
1610 | | -$wgStyleVersion = '251'; |
| 1610 | +$wgStyleVersion = '252'; |
1611 | 1611 | |
1612 | 1612 | |
1613 | 1613 | # Server-side caching: |