The unordered list workaround does not seem to cause problems; it should stay until most Firefox users upgrade to Firefox 3.
* to ensure that client-side caches don't keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '161';
+$wgStyleVersion = '162';
# Server-side caching:
html > body div#article ul {
display: table;
}
-html > body div#article ol {
- display: table;
-}
html > body div#mw_contentholder ul {
display: table;
}
-html > body div#mw_contentholder ol {
- display: table;
-}
html > body div#mw_contentholder ul#filetoc {
display: block;
}
html > body div#bodyContent ul {
display: table;
}
-html > body div#bodyContent ol {
- display: table;
-}
html > body div#bodyContent ul#filetoc {
display: block;
}
html > body div#bodyContent ul {
display: table;
}
-html > body div#bodyContent ol {
- display: table;
-}