resources/mediawiki.special/mediawiki.special.changeslist.enhanced.css

   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
  11 table.mw-enhanced-rc th,
  12 table.mw-enhanced-rc td {
  13         padding: 0;
  14         vertical-align: top;
  15 }
  16
  17 td.mw-enhanced-rc {
  18         white-space: nowrap;
  19         font-family: monospace;
  20 }
  21
  22 .mw-enhanced-rc-time {
  23         font-family: monospace;
  24 }
  25
  26 table.mw-enhanced-rc td.mw-enhanced-rc-nested {
  27         padding-left: 1em;
  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-space {
  41         display: inline-block;
  42         *display: inline; /* IE7 and below */
  43         zoom: 1;
  44         width: 15px;
  45         height: 15px;
  46 }
  47
  48 /* let it look like it is clickable */
  49 .mw-enhancedchanges-arrow.mw-collapsible-toggle {
  50         cursor: pointer;
  51 }
  52
  53 .mw-enhanced-watched .mw-enhanced-rc-time {
  54         font-weight: bold;
  55 }