resources/src/mediawiki.action/mediawiki.action.history.diff.css

   1 /*
   2 ** Diff rendering
   3 */
   4 table.diff {
   5         background-color: white;
   6         border: none;
   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 table.diff td {
  15         padding: 0.33em 0.5em;
  16 }
  17
  18 table.diff td.diff-marker {
  19         /* Compensate padding for increased font-size */
  20         padding: 0.25em;
  21 }
  22
  23 table.diff col.diff-marker {
  24         width: 2%;
  25 }
  26
  27 table.diff col.diff-content {
  28         width: 48%;
  29 }
  30
  31 table.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 td.diff-otitle,
  37 td.diff-ntitle {
  38         text-align: center;
  39 }
  40
  41 td.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 td.diff-addedline,
  53 td.diff-deletedline,
  54 td.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 td.diff-addedline {
  66         border-color: #a3d3ff;
  67 }
  68
  69 td.diff-deletedline {
  70         border-color: #ffe49c;
  71 }
  72
  73 td.diff-context {
  74         background: #f9f9f9;
  75         border-color: #e6e6e6;
  76         color: #333333;
  77 }
  78
  79 .diffchange {
  80         font-weight: bold;
  81         text-decoration: none;
  82 }
  83
  84 td.diff-addedline .diffchange,
  85 td.diff-deletedline .diffchange {
  86         border-radius: 0.33em;
  87         padding: 0.25em 0;
  88 }
  89
  90 td.diff-addedline .diffchange {
  91         background: #d8ecff;
  92 }
  93
  94 td.diff-deletedline .diffchange {
  95         background: #feeec8;
  96 }