From dbe17984d47cd80acc7acfcb39fba8fc82ed7ed9 Mon Sep 17 00:00:00 2001 From: Roan Kattouw Date: Wed, 19 May 2010 20:43:18 +0000 Subject: [PATCH] Fix r66646: #simpleSearch is a div, not an input, oops --- includes/DefaultSettings.php | 2 +- skins/vector/main-ltr.css | 10 +++++----- skins/vector/main-rtl.css | 10 +++++----- 3 files changed, 11 insertions(+), 11 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 51b5f58f12..ceeb655dab 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -1677,7 +1677,7 @@ $wgCacheEpoch = '20030516000000'; * to ensure that client-side caches do not keep obsolete copies of global * styles. */ -$wgStyleVersion = '282'; +$wgStyleVersion = '283'; # Server-side caching: diff --git a/skins/vector/main-ltr.css b/skins/vector/main-ltr.css index 24a4638735..c118168c54 100644 --- a/skins/vector/main-ltr.css +++ b/skins/vector/main-ltr.css @@ -345,7 +345,7 @@ div#head h5 { margin: 0; margin-top: 0.4em; } - input#simpleSearch { + div#simpleSearch { margin-top: 0.5em; position: relative; border: solid 1px #AAAAAA; @@ -354,11 +354,11 @@ div#head h5 { background-position: top left; background-repeat: repeat-x; } - input#simpleSearch label { + div#simpleSearch label { font-size: 0.8em; top: 0.25em; } - input#simpleSearch input#searchInput { + div#simpleSearch input#searchInput { margin: 0; border-width: 0; padding: 0.25em; @@ -368,7 +368,7 @@ div#head h5 { background-color: transparent; } /* OVERRIDDEN BY COMPLIANT BROWSERS */ - input#simpleSearch button#searchButton { + div#simpleSearch button#searchButton { margin: 0; padding: 0; width: 1.75em; @@ -381,7 +381,7 @@ div#head h5 { background-repeat: no-repeat; } /* IGNORED BY IE6 */ - input#simpleSearch > button#searchButton { + div#simpleSearch > button#searchButton { height: 100%; } /* Panel */ diff --git a/skins/vector/main-rtl.css b/skins/vector/main-rtl.css index a1e929f6d1..5812937e79 100644 --- a/skins/vector/main-rtl.css +++ b/skins/vector/main-rtl.css @@ -345,7 +345,7 @@ div#head h5 { margin: 0; margin-top: 0.4em; } - input#simpleSearch { + div#simpleSearch { margin-top: 0.5em; position: relative; border: solid 1px #AAAAAA; @@ -354,11 +354,11 @@ div#head h5 { background-position: top right; background-repeat: repeat-x; } - input#simpleSearch label { + div#simpleSearch label { font-size: 0.8em; top: 0.25em; } - input#simpleSearch input#searchInput { + div#simpleSearch input#searchInput { margin: 0; border-width: 0; padding: 0.25em; @@ -368,7 +368,7 @@ div#head h5 { background-color: transparent; } /* OVERRIDDEN BY COMPLIANT BROWSERS */ - input#simpleSearch button#searchButton { + div#simpleSearch button#searchButton { margin: 0; padding: 0; width: 1.75em; @@ -381,7 +381,7 @@ div#head h5 { background-repeat: no-repeat; } /* IGNORED BY IE6 */ - input#simpleSearch > button#searchButton { + div#simpleSearch > button#searchButton { height: 100%; } /* Panel */ -- 2.20.1