resources/src/mediawiki.special.changeslist.enhanced.less

   1 /*!
   2  * Styling for Special:Watchlist and Special:RecentChanges when preference 'usenewrc'
   3  * a.k.a. Enhanced Recent Changes is enabled.
   4  */
   5
   6 table.mw-enhanced-rc {
   7         border: 0;
   8         border-spacing: 0;
   9
  10         th,
  11         td {
  12                 padding: 0;
  13                 vertical-align: top;
  14         }
  15
  16         td.mw-enhanced-rc-nested {
  17                 padding-left: 1em;
  18         }
  19 }
  20
  21 td.mw-enhanced-rc {
  22         white-space: nowrap;
  23         font-family: monospace, monospace;
  24 }
  25
  26 .mw-enhanced-rc-time {
  27         font-family: monospace, monospace;
  28 }
  29
  30 /* Show/hide arrows in enhanced changeslist */
  31 /* stylelint-disable-next-line selector-class-pattern */
  32 .mw-enhanced-rc .collapsible-expander {
  33         float: none;
  34 }
  35
  36 /* If JS is disabled, the arrows or the placeholder space shouldn't be shown */
  37 .client-nojs .mw-enhancedchanges-arrow-space {
  38         display: none;
  39 }
  40
  41 .mw-enhancedchanges-arrow {
  42         padding-top: 2px;
  43 }
  44
  45 .mw-enhancedchanges-arrow-space {
  46         display: inline-block;
  47         *display: inline; /* IE7 and below */
  48         zoom: 1;
  49         width: 15px;
  50         height: 15px;
  51 }
  52
  53 .mw-enhanced-watched .mw-enhanced-rc-time {
  54         font-weight: bold;
  55 }
  56
  57 /* stylelint-disable-next-line selector-class-pattern */
  58 span.changedby {
  59         font-size: 95%;
  60 }