-/* Basic styles for the history page */
+/**
+ * Basic styles for the edit revision history page 'HistoryAction.php'
+ */
+
+/* stylelint-disable selector-class-pattern */
#pagehistory .history-user {
margin-left: 0.4em;
}
#pagehistory li {
- border: 1px solid #fff;
+ padding: 1px;
}
#pagehistory li.selected {
background-color: #f8f9fa;
color: #222;
- border: 1px dashed #a2a9b1;
+ outline: 1px dashed #a2a9b1;
}
.mw-history-revisionactions {