* to ensure that client-side caches do not keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '280';
+$wgStyleVersion = '281';
# Server-side caching:
padding: 0.25em;
line-height: 1em;
font-size: 0.8em;
- width: 9em;
+ width: 14em;
background-color: transparent;
}
/* OVERRIDDEN BY COMPLIANT BROWSERS */
background-image:url(images/tab-break.png?1);
background-position:right bottom;
background-repeat:no-repeat;
-}
\ No newline at end of file
+}
padding: 0.25em;
line-height: 1em;
font-size: 0.8em;
- width: 9em;
+ width: 14em;
background-color: transparent;
}
/* OVERRIDDEN BY COMPLIANT BROWSERS */
background-image:url(images/tab-break.png?1);
background-position:left bottom;
background-repeat:no-repeat;
-}
\ No newline at end of file
+}