* to ensure that client-side caches do not keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '292';
+$wgStyleVersion = '293';
/**
* This will cache static pages for non-logged-in users to reduce
border: none !important;
background: none !important;
}
+/* @noflip */
div.tright {
clear: right;
float: right;
border-width: .5em 0 .8em 1.4em;
}
+/* @noflip */
div.tleft {
float: left;
clear: left;
border: none !important;
background: none !important;
}
+/* @noflip */
div.tright {
- clear: left;
- float: left;
- border-width: .5em 1.4em .8em 0;
-}
-div.tleft {
- float: right;
clear: right;
- margin-left: .5em;
+ float: right;
border-width: .5em 0 .8em 1.4em;
}
+/* @noflip */
+div.tleft {
+ float: left;
+ clear: left;
+ margin-right: .5em;
+ border-width: .5em 1.4em .8em 0;
+}
img.thumbborder {
border: 1px solid #dddddd;
}