zeripath 5908bb1030 Make diff line-marker non-selectable (#7279) ... * Make diff line-marker non-selectable * Move to use data-* as per @mrsdizzie * fix missing line nums * Add a minimum-width to force right-align of the line num * Move line-type-marker into separate column		2019-06-24 21:23:52 +01:00
..
index.css	Make diff line-marker non-selectable (#7279)	2019-06-24 21:23:52 +01:00
theme-arc-green.css	…