20,100
edits
(removing diff border colors that clash with diff background and are unneeded) |
(revert; that was the wrong bit) |
||
| Line 38: | Line 38: | ||
border-width: 1px 1px 1px 4px; | border-width: 1px 1px 1px 4px; | ||
border-radius: 0.33em; | border-radius: 0.33em; | ||
} | |||
td.diff-addedline { | |||
border-color: #a3d3ff; | |||
} | |||
td.diff-deletedline { | |||
border-color: #ffe49c; | |||
} | } | ||