* to ensure that client-side caches do not keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '297';
+$wgStyleVersion = '298';
/**
* This will cache static pages for non-logged-in users to reduce
font-size: 13px;
top: 0.25em;
}
+ div#simpleSearch .placeholder {
+ color: #999999;
+ }
+ div#simpleSearch input::-webkit-input-placeholder {
+ color: #999999;
+ }
div#simpleSearch input#searchInput {
margin: 0;
border-width: 0;
font-size: 13px;
top: 0.25em;
}
+ div#simpleSearch .placeholder {
+ color: #999999;
+ }
+ div#simpleSearch input::-webkit-input-placeholder {
+ color: #999999;
+ }
div#simpleSearch input#searchInput {
margin: 0;
border-width: 0;