* to ensure that client-side caches don't keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '150';
+$wgStyleVersion = '151';
# Server-side caching:
html > body div#article ol {
display: table;
}
+
+/* Special:SpecialPages styling */
+.mw-specialpages-page {
+ float: right;
+}
html > body div#mw_contentholder ul#filetoc {
display: block;
}
+
+/* Special:SpecialPages styling */
+.mw-specialpages-page {
+ float: right;
+}
html > body div#bodyContent ul#filetoc {
display: block;
}
+
+/* Special:SpecialPages styling */
+.mw-specialpages-page {
+ float: right;
+}