span.diff-rangeinfo {color: #a0b;}
span.diff-minus {color: #a22;}
span.diff-plus {color: #2b2;}
