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 .mw-enhanced-rc .collapsible-expander {
  32         float: none;
  33 }
  34
  35 /* If JS is disabled, the arrows or the placeholder space shouldn't be shown */
  36 .client-nojs .mw-enhancedchanges-arrow-space {
  37         display: none;
  38 }
  39
  40 .mw-enhancedchanges-arrow {
  41         padding-top: 2px;
  42 }
  43
  44 .mw-enhancedchanges-arrow-space {
  45         display: inline-block;
  46         *display: inline; /* IE7 and below */
  47         zoom: 1;
  48         width: 15px;
  49         height: 15px;
  50 }
  51
  52 .mw-enhanced-watched .mw-enhanced-rc-time {
  53         font-weight: bold;
  54 }
  55
  56 span.changedby {
  57         font-size: 95%;
  58 }