* to ensure that client-side caches do not keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '295';
+$wgStyleVersion = '296';
/**
* This will cache static pages for non-logged-in users to reduce
font-style: italic;
}*/
pre, code, tt {
- font-family: monospace, sans-serif;
+ /*
+ * 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;
}
code {
background-color: #f9f9f9;
font-style: italic;
}*/
pre, code, tt {
- font-family: monospace, sans-serif;
+ /*
+ * 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;
}
code {
background-color: #f9f9f9;