** Diff rendering
*/
table.diff {
- background-color: white;
border: none;
border-spacing: 4px;
margin: 0;
text-align: right;
font-weight: bold;
font-size: 1.25em;
+ line-height: 1.2;
}
td.diff-addedline,
td.diff-deletedline,
td.diff-context {
font-size: 88%;
+ line-height: 1.6;
vertical-align: top;
white-space: -moz-pre-wrap;
white-space: pre-wrap;