* to ensure that client-side caches do not keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '296';
+$wgStyleVersion = '297';
/**
* This will cache static pages for non-logged-in users to reduce
* It's important for this rule to first reference an actual font name, some browsers will render the monospace text
* too small otherwise, namely Firefox, Chrome and Safari
*/
- font-family: "Courier New", monospace;
+ font-family: monospace, "Courier New";
}
code {
background-color: #f9f9f9;
* It's important for this rule to first reference an actual font name, some browsers will render the monospace text
* too small otherwise, namely Firefox, Chrome and Safari
*/
- font-family: "Courier New", monospace;
+ font-family: monospace, "Courier New";
}
code {
background-color: #f9f9f9;