| Index: trunk/phase3/skins/vector/main-ltr.css |
| — | — | @@ -715,6 +715,7 @@ |
| 716 | 716 | border: 1px dashed #2f6fab; |
| 717 | 717 | color: black; |
| 718 | 718 | background-color: #f9f9f9; |
| | 719 | + font-size: 1.25em; |
| 719 | 720 | line-height: 1.1em; |
| 720 | 721 | } |
| 721 | 722 | ul { |
| Index: trunk/phase3/skins/vector/main-rtl.css |
| — | — | @@ -715,6 +715,7 @@ |
| 716 | 716 | border: 1px dashed #2f6fab; |
| 717 | 717 | color: black; |
| 718 | 718 | background-color: #f9f9f9; |
| | 719 | + font-size: 1.25em; |
| 719 | 720 | line-height: 1.1em; |
| 720 | 721 | } |
| 721 | 722 | ul { |
| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1682,7 +1682,7 @@ |
| 1683 | 1683 | * to ensure that client-side caches do not keep obsolete copies of global |
| 1684 | 1684 | * styles. |
| 1685 | 1685 | */ |
| 1686 | | -$wgStyleVersion = '271'; |
| | 1686 | +$wgStyleVersion = '272'; |
| 1687 | 1687 | |
| 1688 | 1688 | |
| 1689 | 1689 | # Server-side caching: |