Another tiny change in response to recent changes in how we handle text size. This...

diff --git a/skins/vector/main-ltr.css b/skins/vector/main-ltr.css
index 333369b..71e76ae 100644 (file)
--- a/skins/vector/main-ltr.css
+++ b/skins/vector/main-ltr.css
@@ -311,7 +311,7 @@ body {
                margin-top: 0.4em;
        }
        #simpleSearch {
-               margin-top: 0.75em;
+               margin-top: 0.5em;
                position: relative;
                border: solid 1px #AAAAAA;
                background-color: white;

diff --git a/skins/vector/main-rtl.css b/skins/vector/main-rtl.css
index 0b5692a..5e11262 100644 (file)
--- a/skins/vector/main-rtl.css
+++ b/skins/vector/main-rtl.css
@@ -311,7 +311,7 @@ body {
                margin-top: 0.4em;
        }
        #simpleSearch {
-               margin-top: 0.75em;
+               margin-top: 0.5em;
                position: relative;
                border: solid 1px #AAAAAA;
                background-color: white;