Index: trunk/phase3/skins/vector/main-ltr.css |
— | — | @@ -900,11 +900,13 @@ |
901 | 901 | border: none !important; |
902 | 902 | background: none !important; |
903 | 903 | } |
| 904 | +/* @noflip */ |
904 | 905 | div.tright { |
905 | 906 | clear: right; |
906 | 907 | float: right; |
907 | 908 | border-width: .5em 0 .8em 1.4em; |
908 | 909 | } |
| 910 | +/* @noflip */ |
909 | 911 | div.tleft { |
910 | 912 | float: left; |
911 | 913 | clear: left; |
Index: trunk/phase3/skins/vector/main-rtl.css |
— | — | @@ -900,17 +900,19 @@ |
901 | 901 | border: none !important; |
902 | 902 | background: none !important; |
903 | 903 | } |
| 904 | +/* @noflip */ |
904 | 905 | div.tright { |
| 906 | + clear: right; |
| 907 | + float: right; |
| 908 | + border-width: .5em 0 .8em 1.4em; |
| 909 | +} |
| 910 | +/* @noflip */ |
| 911 | +div.tleft { |
| 912 | + float: left; |
905 | 913 | clear: left; |
906 | | - float: left; |
| 914 | + margin-right: .5em; |
907 | 915 | border-width: .5em 1.4em .8em 0; |
908 | 916 | } |
909 | | -div.tleft { |
910 | | - float: right; |
911 | | - clear: right; |
912 | | - margin-left: .5em; |
913 | | - border-width: .5em 0 .8em 1.4em; |
914 | | -} |
915 | 917 | img.thumbborder { |
916 | 918 | border: 1px solid #dddddd; |
917 | 919 | } |
Index: trunk/phase3/includes/DefaultSettings.php |
— | — | @@ -1548,7 +1548,7 @@ |
1549 | 1549 | * to ensure that client-side caches do not keep obsolete copies of global |
1550 | 1550 | * styles. |
1551 | 1551 | */ |
1552 | | -$wgStyleVersion = '292'; |
| 1552 | +$wgStyleVersion = '293'; |
1553 | 1553 | |
1554 | 1554 | /** |
1555 | 1555 | * This will cache static pages for non-logged-in users to reduce |