.difference { padding: 2px; }
  .difference:before { padding-right: 5px; }
.difference.diff-type-0 { background-color: #FCB; }
  .difference.diff-type-0:before { content: "\2612"; }
.difference.diff-type-1 { background-color: #CFA; }
  .difference.diff-type-1:before { content: "\2611"; }
.line-num { font-family: 'Courier'; font-size: 0.8em; }