resources/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 }
  50
  51 td.diff-addedline,
  52 td.diff-deletedline,
  53 td.diff-context {
  54         font-size: 88%;
  55         vertical-align: top;
  56         white-space: -moz-pre-wrap;
  57         white-space: pre-wrap;
  58         border-style: solid;
  59         border-width: 1px 1px 1px 4px;
  60         border-radius: 0.33em;
  61 }
  62
  63 td.diff-addedline {
  64         border-color: #a3d3ff;
  65 }
  66
  67 td.diff-deletedline {
  68         border-color: #ffe49c;
  69 }
  70
  71 td.diff-context {
  72         background: #f9f9f9;
  73         border-color: #e6e6e6;
  74         color: #333333;
  75 }
  76
  77 .diffchange {
  78         font-weight: bold;
  79         text-decoration: none;
  80 }
  81
  82 td.diff-addedline .diffchange,
  83 td.diff-deletedline .diffchange {
  84         border-radius: 0.33em;
  85         padding: 0.25em 0;
  86 }
  87
  88 td.diff-addedline .diffchange {
  89         background: #d8ecff;
  90 }
  91
  92 td.diff-deletedline .diffchange {
  93         background: #feeec8;
  94 }