Fix r66646: #simpleSearch is a div, not an input, oops
authorRoan Kattouw <catrope@users.mediawiki.org>
Wed, 19 May 2010 20:43:18 +0000 (20:43 +0000)
committerRoan Kattouw <catrope@users.mediawiki.org>
Wed, 19 May 2010 20:43:18 +0000 (20:43 +0000)
includes/DefaultSettings.php
skins/vector/main-ltr.css
skins/vector/main-rtl.css

index 51b5f58..ceeb655 100644 (file)
@@ -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:
index 24a4638..c118168 100644 (file)
@@ -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 */
index a1e929f..5812937 100644 (file)
@@ -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 */