| Index: branches/wmf-deployment/skins/vector/main-ltr.css |
| — | — | @@ -88,7 +88,7 @@ |
| 89 | 89 | #p-personal li { |
| 90 | 90 | margin-left: 0.75em; |
| 91 | 91 | margin-top: 0.5em; |
| 92 | | - font-size: 0.7em; |
| | 92 | + font-size: 0.75em; |
| 93 | 93 | } |
| 94 | 94 | /* Navigation Containers */ |
| 95 | 95 | #left-navigation { |
| — | — | @@ -387,7 +387,7 @@ |
| 388 | 388 | padding-left: 1.75em; |
| 389 | 389 | cursor: default; |
| 390 | 390 | border: none; |
| 391 | | - font-size: 0.7em; |
| | 391 | + font-size: 0.75em; |
| 392 | 392 | } |
| 393 | 393 | #panel div.portal div.body { |
| 394 | 394 | margin: 0; |
| — | — | @@ -410,7 +410,7 @@ |
| 411 | 411 | padding-bottom: 0.5em; |
| 412 | 412 | margin: 0; |
| 413 | 413 | overflow: hidden; |
| 414 | | - font-size: 0.7em; |
| | 414 | + font-size: 0.75em; |
| 415 | 415 | } |
| 416 | 416 | #panel div.portal div.body ul li a { |
| 417 | 417 | color: #0645ad; |
| — | — | @@ -1041,4 +1041,4 @@ |
| 1042 | 1042 | #bodyContent { |
| 1043 | 1043 | position: relative; |
| 1044 | 1044 | width: 100%; |
| 1045 | | -} |
| \ No newline at end of file |
| | 1045 | +} |
| Index: branches/wmf-deployment/skins/vector/main-rtl.css |
| — | — | @@ -88,7 +88,7 @@ |
| 89 | 89 | #p-personal li { |
| 90 | 90 | margin-right: 0.75em; |
| 91 | 91 | margin-top: 0.5em; |
| 92 | | - font-size: 0.7em; |
| | 92 | + font-size: 0.75em; |
| 93 | 93 | } |
| 94 | 94 | /* Navigation Containers */ |
| 95 | 95 | #left-navigation { |
| — | — | @@ -387,7 +387,7 @@ |
| 388 | 388 | padding-right: 1.75em; |
| 389 | 389 | cursor: default; |
| 390 | 390 | border: none; |
| 391 | | - font-size: 0.7em; |
| | 391 | + font-size: 0.75em; |
| 392 | 392 | } |
| 393 | 393 | #panel div.portal div.body { |
| 394 | 394 | margin: 0; |
| — | — | @@ -410,7 +410,7 @@ |
| 411 | 411 | padding-bottom: 0.5em; |
| 412 | 412 | margin: 0; |
| 413 | 413 | overflow: hidden; |
| 414 | | - font-size: 0.7em; |
| | 414 | + font-size: 0.75em; |
| 415 | 415 | } |
| 416 | 416 | #panel div.portal div.body ul li a { |
| 417 | 417 | color: #0645ad; |
| — | — | @@ -1041,4 +1041,6 @@ |
| 1042 | 1042 | #bodyContent { |
| 1043 | 1043 | position: relative; |
| 1044 | 1044 | width: 100%; |
| 1045 | | -} |
| \ No newline at end of file |
| | 1045 | +} |
| | 1046 | + |
| | 1047 | + |
| \ No newline at end of file |
| Index: branches/wmf-deployment/includes/DefaultSettings.php |
| — | — | @@ -1588,7 +1588,7 @@ |
| 1589 | 1589 | * to ensure that client-side caches do not keep obsolete copies of global |
| 1590 | 1590 | * styles. |
| 1591 | 1591 | */ |
| 1592 | | -$wgStyleVersion = '239'; |
| | 1592 | +$wgStyleVersion = '239a'; |
| 1593 | 1593 | |
| 1594 | 1594 | |
| 1595 | 1595 | # Server-side caching: |