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         padding: 1px;
  14 }
  15
  16 #pagehistory li.selected {
  17         background-color: #f8f9fa;
  18         color: #222;
  19         outline: 1px dashed #a2a9b1;
  20 }
  21
  22 .mw-history-revisionactions {
  23         float: right;
  24 }
  25
  26 .updatedmarker {
  27         background-color: #b7f430;
  28 }