resources/src/mediawiki/mediawiki.diff.styles.css

   1 /*!
   2  * Diff rendering
   3  */
   4
   5 .diff {
   6         border: 0;
   7         border-spacing: 4px;
   8         margin: 0;
   9         width: 100%;
  10         /* Ensure that colums are of equal width */
  11         table-layout: fixed;
  12 }
  13
  14 .diff td {
  15         padding: 0.33em 0.5em;
  16 }
  17
  18 .diff td.diff-marker {
  19         /* Compensate padding for increased font-size */
  20         padding: 0.25em;
  21 }
  22
  23 .diff col.diff-marker {
  24         width: 2%;
  25 }
  26
  27 .diff .diff-content {
  28         width: 48%;
  29 }
  30
  31 .diff td div {
  32         /* Force-wrap very long lines such as URLs or page-widening char strings */
  33         word-wrap: break-word;
  34 }
  35
  36 .diff-otitle,
  37 .diff-ntitle {
  38         text-align: center;
  39 }
  40
  41 .diff-lineno {
  42         font-weight: bold;
  43 }
  44
  45 td.diff-marker {
  46         text-align: right;
  47         font-weight: bold;
  48         font-size: 1.25em;
  49         line-height: 1.2;
  50 }
  51
  52 .diff-addedline,
  53 .diff-deletedline,
  54 .diff-context {
  55         font-size: 88%;
  56         line-height: 1.6;
  57         vertical-align: top;
  58         white-space: -moz-pre-wrap;
  59         white-space: pre-wrap;
  60         border-style: solid;
  61         border-width: 1px 1px 1px 4px;
  62         border-radius: 0.33em;
  63 }
  64
  65 .diff-addedline {
  66         border-color: #a3d3ff;
  67 }
  68
  69 .diff-deletedline {
  70         border-color: #ffe49c;
  71 }
  72
  73 .diff-context {
  74         background: #f8f9fa;
  75         border-color: #eaecf0;
  76         color: #222;
  77 }
  78
  79 .diffchange {
  80         font-weight: bold;
  81         text-decoration: none;
  82 }
  83
  84 .diff-addedline .diffchange,
  85 .diff-deletedline .diffchange {
  86         border-radius: 0.33em;
  87         padding: 0.25em 0;
  88 }
  89
  90 .diff-addedline .diffchange {
  91         background: #d8ecff;
  92 }
  93
  94 .diff-deletedline .diffchange {
  95         background: #feeec8;
  96 }
  97
  98 /* Correct user & content directionality when viewing a diff */
  99 .diff-currentversion-title,
 100 .diff {
 101         direction: ltr;
 102         unicode-bidi: embed;
 103 }
 104
 105 /* @noflip */ .diff-contentalign-right td {
 106         direction: rtl;
 107         unicode-bidi: embed;
 108 }
 109
 110 /* @noflip */ .diff-contentalign-left td {
 111         direction: ltr;
 112         unicode-bidi: embed;
 113 }
 114
 115 .diff-multi,
 116 .diff-otitle,
 117 .diff-ntitle,
 118 .diff-lineno {
 119         direction: ltr !important; /* stylelint-disable-line declaration-no-important */
 120         unicode-bidi: embed;
 121 }