resources/src/mediawiki.action/mediawiki.action.history.styles.less

   1 /**
   2  * Basic styles for the edit revision history page 'HistoryAction.php'
   3  */
   4
   5 /* stylelint-disable selector-class-pattern */
   6
   7 #pagehistory .history-user {
   8         margin-left: 0.4em;
   9         margin-right: 0.2em;
  10 }
  11
  12 #pagehistory li {
  13         border: 1px solid #fff;
  14 }
  15
  16 #pagehistory li.selected {
  17         background-color: #f8f9fa;
  18         color: #222;
  19         border-color: #f8f9fa;
  20         outline: 1px dashed #a2a9b1;
  21 }
  22
  23 .mw-history-revisionactions {
  24         float: right;
  25 }
  26
  27 .updatedmarker {
  28         background-color: #b7f430;
  29 }