* to ensure that client-side caches do not keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '247';
+$wgStyleVersion = '248';
# Server-side caching:
/* Watch/Unwatch Icon Styling */
#ca-unwatch.icon,
#ca-watch.icon {
+ margin-right:1px;
}
#ca-unwatch.icon a,
#ca-watch.icon a {
#ca-watch.icon a span {
display: none;
}
+div.vectorTabs ul {
+ background-image:url(images/tab-break.png);
+ background-position:right bottom;
+ background-repeat:no-repeat;
+}
\ No newline at end of file
/* Watch/Unwatch Icon Styling */
#ca-unwatch.icon,
#ca-watch.icon {
+ margin-left:1px;
}
#ca-unwatch.icon a,
#ca-watch.icon a {
#ca-watch.icon a span {
display: none;
}
+div.vectorTabs ul {
+ background-image:url(images/tab-break.png);
+ background-position:left bottom;
+ background-repeat:no-repeat;
+}
\ No newline at end of file