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

   1 /*!
   2  * Diff rendering
   3  */
   4 table.diff {
   5         border: none;
   6         border-spacing: 4px;
   7         margin: 0;
   8         width: 100%;
   9         /* Ensure that colums are of equal width */
  10         table-layout: fixed;
  11 }
  12
  13 table.diff td {
  14         padding: 0.33em 0.5em;
  15 }
  16
  17 table.diff td.diff-marker {
  18         /* Compensate padding for increased font-size */
  19         padding: 0.25em;
  20 }
  21
  22 table.diff col.diff-marker {
  23         width: 2%;
  24 }
  25
  26 table.diff col.diff-content {
  27         width: 48%;
  28 }
  29
  30 table.diff td div {
  31         /* Force-wrap very long lines such as URLs or page-widening char strings */
  32         word-wrap: break-word;
  33 }
  34
  35 td.diff-otitle,
  36 td.diff-ntitle {
  37         text-align: center;
  38 }
  39
  40 td.diff-lineno {
  41         font-weight: bold;
  42 }
  43
  44 td.diff-marker {
  45         text-align: right;
  46         font-weight: bold;
  47         font-size: 1.25em;
  48         line-height: 1.2;
  49 }
  50
  51 td.diff-addedline,
  52 td.diff-deletedline,
  53 td.diff-context {
  54         font-size: 88%;
  55         line-height: 1.6;
  56         vertical-align: top;
  57         white-space: -moz-pre-wrap;
  58         white-space: pre-wrap;
  59         border-style: solid;
  60         border-width: 1px 1px 1px 4px;
  61         border-radius: 0.33em;
  62 }
  63
  64 td.diff-addedline {
  65         border-color: #a3d3ff;
  66 }
  67
  68 td.diff-deletedline {
  69         border-color: #ffe49c;
  70 }
  71
  72 td.diff-context {
  73         background: #f9f9f9;
  74         border-color: #e6e6e6;
  75         color: #333333;
  76 }
  77
  78 .diffchange {
  79         font-weight: bold;
  80         text-decoration: none;
  81 }
  82
  83 td.diff-addedline .diffchange,
  84 td.diff-deletedline .diffchange {
  85         border-radius: 0.33em;
  86         padding: 0.25em 0;
  87 }
  88
  89 td.diff-addedline .diffchange {
  90         background: #d8ecff;
  91 }
  92
  93 td.diff-deletedline .diffchange {
  94         background: #feeec8;
  95 }