| Index: trunk/phase3/skins/common/shared.css |
| — | — | @@ -113,8 +113,8 @@ |
| 114 | 114 | /* the auto-generated edit comments */ |
| 115 | 115 | .autocomment { color: gray; } |
| 116 | 116 | #pagehistory .history-user { |
| 117 | | - margin-left: 1.4em; |
| 118 | | - margin-right: 0.4em; |
| | 117 | + margin-left: 0.4em; |
| | 118 | + margin-right: 0.2em; |
| 119 | 119 | } |
| 120 | 120 | #pagehistory span.minor { font-weight: bold; } |
| 121 | 121 | #pagehistory li { border: 1px solid white; } |
| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1343,7 +1343,7 @@ |
| 1344 | 1344 | * to ensure that client-side caches don't keep obsolete copies of global |
| 1345 | 1345 | * styles. |
| 1346 | 1346 | */ |
| 1347 | | -$wgStyleVersion = '131'; |
| | 1347 | +$wgStyleVersion = '132'; |
| 1348 | 1348 | |
| 1349 | 1349 | |
| 1350 | 1350 | # Server-side caching: |