* to ensure that client-side caches don't keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '129';
+$wgStyleVersion = '130';
# Server-side caching:
/* Page history styling */
/* the auto-generated edit comments */
.autocomment { color: gray; }
-#pagehistory span.user {
+#pagehistory .history-user {
margin-left: 1.4em;
margin-right: 0.4em;
}
margin-right: 18em;
}
/* page history */
-#pagehistory span.user {
+#pagehistory .history-user {
margin-right: 1.4em;
margin-left: 0.4em;
}
/* Page history styling */
/* the auto-generated edit comments */
.autocomment { color: #4b4b4b; }
-#pagehistory span.user {
+#pagehistory .history-user {
margin-left: 1.4em;
margin-right: 0.4em;
}
}
-#pagehistory span.user {
+#pagehistory .history-user {
margin-left: 1.4em;
margin-right: .4em;
}
.autocomment {
color: gray;
}
-#pagehistory span.user {
+#pagehistory .history-user {
margin-left: 1.4em;
margin-right: .4em;
}
.diffchange { background-color: #FFCDF3; text-decoration: none; }
.autocomment { color: grey; }
-#pagehistory span.user {
+#pagehistory .history-user {
margin-left: 1.4em;
margin-right: 0.4em;
}