...to mediawiki.action.history.styles
Bug: T89981
Change-Id: I0b5c513ebd73aeed287f8fe681e231ffc9b6ab08
/* Basic styles for the history page */
+#pagehistory .history-user {
+ margin-left: 0.4em;
+ margin-right: 0.2em;
+}
+
+#pagehistory li {
+ border: 1px solid #fff;
+}
+
+#pagehistory li.selected {
+ background-color: #f9f9f9;
+ border: 1px dashed #aaa;
+}
+
+.mw-history-revisionactions {
+ float: right;
+}
+
.updatedmarker {
background-color: #b7f430;
}
text-align: right;
}
-/* Page history styling */
-
/* The auto-generated edit comments */
.autocomment {
color: #808080;
}
-#pagehistory .history-user {
- margin-left: 0.4em;
- margin-right: 0.2em;
-}
-
-#pagehistory li {
- border: 1px solid #fff;
-}
-
-#pagehistory li.selected {
- background-color: #f9f9f9;
- border: 1px dashed #aaa;
-}
-
-.mw-history-revisionactions {
- float: right;
-}
-
/** Generic minor/bot/newpage styling (recent changes) */
.newpage,
.minoredit,