* to ensure that client-side caches do not keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '282';
+$wgStyleVersion = '283';
# Server-side caching:
margin: 0;
margin-top: 0.4em;
}
- input#simpleSearch {
+ div#simpleSearch {
margin-top: 0.5em;
position: relative;
border: solid 1px #AAAAAA;
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;
background-color: transparent;
}
/* OVERRIDDEN BY COMPLIANT BROWSERS */
- input#simpleSearch button#searchButton {
+ div#simpleSearch button#searchButton {
margin: 0;
padding: 0;
width: 1.75em;
background-repeat: no-repeat;
}
/* IGNORED BY IE6 */
- input#simpleSearch > button#searchButton {
+ div#simpleSearch > button#searchButton {
height: 100%;
}
/* Panel */
margin: 0;
margin-top: 0.4em;
}
- input#simpleSearch {
+ div#simpleSearch {
margin-top: 0.5em;
position: relative;
border: solid 1px #AAAAAA;
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;
background-color: transparent;
}
/* OVERRIDDEN BY COMPLIANT BROWSERS */
- input#simpleSearch button#searchButton {
+ div#simpleSearch button#searchButton {
margin: 0;
padding: 0;
width: 1.75em;
background-repeat: no-repeat;
}
/* IGNORED BY IE6 */
- input#simpleSearch > button#searchButton {
+ div#simpleSearch > button#searchButton {
height: 100%;
}
/* Panel */