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         margin-right: 0.5em;
  28 }
  29
  30 .mw-changeslist-legend dd {
  31         margin-left: 1.5em;
  32         line-height: 1.3em;
  33 }