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

   1 /**
   2  * Styling for Special:Watchlist and Special:RecentChanges
   3  */
   4
   5 .mw-changeslist-line-watched .mw-title {
   6         font-weight: bold;
   7 }
   8
   9 .mw-changeslist-legend {
  10         float: right;
  11         margin-left: 1em;
  12         margin-bottom: 0.5em;
  13         clear: right;
  14         font-size: 85%;
  15         line-height: 1.2em;
  16         padding: 0.5em;
  17         border: 1px solid #ddd;
  18 }
  19
  20 .mw-changeslist-legend dl {
  21         /* Parent element defines sufficient padding */
  22         margin-bottom: 0;
  23 }
  24
  25 .mw-changeslist-legend dt {
  26         float: left;
  27 }
  28
  29 .mw-changeslist-legend dd {
  30         margin-left: 1.5em;
  31         line-height: 1.3em;
  32 }
  33
  34 .mw-changeslist-legend dd.mw-changeslist-legend-plusminus {
  35         margin-left: 3.5em;
  36 }