[Summary view] [Print] [Text view]

   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  }