Index: trunk/phase3/skins/vector/main-ltr.css |
— | — | @@ -347,7 +347,7 @@ |
348 | 348 | margin-top: 0.4em; |
349 | 349 | } |
350 | 350 | div#simpleSearch { |
351 | | - margin-top: 0.5em; |
| 351 | + margin-top: 0.65em; |
352 | 352 | position: relative; |
353 | 353 | border: solid 1px #AAAAAA; |
354 | 354 | background-color: white; |
— | — | @@ -356,15 +356,15 @@ |
357 | 357 | background-repeat: repeat-x; |
358 | 358 | } |
359 | 359 | div#simpleSearch label { |
360 | | - font-size: 0.8em; |
| 360 | + font-size: 13px; |
361 | 361 | top: 0.25em; |
362 | 362 | } |
363 | 363 | div#simpleSearch input#searchInput { |
364 | 364 | margin: 0; |
365 | 365 | border-width: 0; |
366 | | - padding: 0.25em; |
| 366 | + padding: 3px; |
367 | 367 | line-height: 1em; |
368 | | - font-size: 0.8em; |
| 368 | + font-size: 13px; |
369 | 369 | width: 14em; |
370 | 370 | background-color: transparent; |
371 | 371 | } |
— | — | @@ -373,7 +373,7 @@ |
374 | 374 | margin: 0; |
375 | 375 | padding: 0; |
376 | 376 | width: 1.75em; |
377 | | - height: 1.5em; |
| 377 | + height: 16px; |
378 | 378 | border: none; |
379 | 379 | cursor: pointer; |
380 | 380 | background-color: transparent; |
Index: trunk/phase3/skins/vector/main-rtl.css |
— | — | @@ -347,7 +347,7 @@ |
348 | 348 | margin-top: 0.4em; |
349 | 349 | } |
350 | 350 | div#simpleSearch { |
351 | | - margin-top: 0.5em; |
| 351 | + margin-top: 0.65em; |
352 | 352 | position: relative; |
353 | 353 | border: solid 1px #AAAAAA; |
354 | 354 | background-color: white; |
— | — | @@ -356,15 +356,15 @@ |
357 | 357 | background-repeat: repeat-x; |
358 | 358 | } |
359 | 359 | div#simpleSearch label { |
360 | | - font-size: 0.8em; |
| 360 | + font-size: 13px; |
361 | 361 | top: 0.25em; |
362 | 362 | } |
363 | 363 | div#simpleSearch input#searchInput { |
364 | 364 | margin: 0; |
365 | 365 | border-width: 0; |
366 | | - padding: 0.25em; |
| 366 | + padding: 3px; |
367 | 367 | line-height: 1em; |
368 | | - font-size: 0.8em; |
| 368 | + font-size: 13px; |
369 | 369 | width: 14em; |
370 | 370 | background-color: transparent; |
371 | 371 | } |
— | — | @@ -373,7 +373,7 @@ |
374 | 374 | margin: 0; |
375 | 375 | padding: 0; |
376 | 376 | width: 1.75em; |
377 | | - height: 1.5em; |
| 377 | + height: 16px; |
378 | 378 | border: none; |
379 | 379 | cursor: pointer; |
380 | 380 | background-color: transparent; |
Index: trunk/phase3/includes/DefaultSettings.php |
— | — | @@ -1537,7 +1537,7 @@ |
1538 | 1538 | * to ensure that client-side caches do not keep obsolete copies of global |
1539 | 1539 | * styles. |
1540 | 1540 | */ |
1541 | | -$wgStyleVersion = '288'; |
| 1541 | +$wgStyleVersion = '289'; |
1542 | 1542 | |
1543 | 1543 | /** |
1544 | 1544 | * This will cache static pages for non-logged-in users to reduce |