Index: trunk/phase3/skins/vector/main-ltr.css |
— | — | @@ -707,6 +707,9 @@ |
708 | 708 | font-family: Times, "Times New Roman", serif; |
709 | 709 | font-style: italic; |
710 | 710 | }*/ |
| 711 | +pre, code, tt { |
| 712 | + font-family: monospace, sans-serif; |
| 713 | +} |
711 | 714 | code { |
712 | 715 | background-color: #f9f9f9; |
713 | 716 | } |
— | — | @@ -715,7 +718,6 @@ |
716 | 719 | border: 1px dashed #2f6fab; |
717 | 720 | color: black; |
718 | 721 | background-color: #f9f9f9; |
719 | | - font-size: 1.25em; |
720 | 722 | line-height: 1.1em; |
721 | 723 | } |
722 | 724 | ul { |
Index: trunk/phase3/skins/vector/main-rtl.css |
— | — | @@ -707,6 +707,9 @@ |
708 | 708 | font-family: Times, "Times New Roman", serif; |
709 | 709 | font-style: italic; |
710 | 710 | }*/ |
| 711 | +pre, code, tt { |
| 712 | + font-family: monospace, sans-serif; |
| 713 | +} |
711 | 714 | code { |
712 | 715 | background-color: #f9f9f9; |
713 | 716 | } |
— | — | @@ -715,7 +718,6 @@ |
716 | 719 | border: 1px dashed #2f6fab; |
717 | 720 | color: black; |
718 | 721 | background-color: #f9f9f9; |
719 | | - font-size: 1.25em; |
720 | 722 | line-height: 1.1em; |
721 | 723 | } |
722 | 724 | 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 = '273'; |
| 1686 | +$wgStyleVersion = '274'; |
1687 | 1687 | |
1688 | 1688 | |
1689 | 1689 | # Server-side caching: |