6543 cf35355db8 Ensure that diff stats can scroll independently of the diff (#8581) (#8611) ... This PR ensures that once opened the diff stats detail box can be scrolled independently of the diff on the compare page. Fixes #5532 Details: * make diff-detail-box the main container * move file diff at the same level as diff-stats * make diff-view options sticy again * make diff-stats scroll if to mouch * rm useless css info * less: mv diff-stats to own class * use new css class * cleanup less file * diff-counter: margin-right: 15px; * make CI work * make numbers colorful * add sign (-/+) to numbers		2019-10-21 16:53:34 +08:00
..
index.css	Ensure that diff stats can scroll independently of the diff (#8581) (#8611)	2019-10-21 16:53:34 +08:00
theme-arc-green.css	[arc-green] white on hover for active menu items (#8344)	2019-10-02 15:20:30 +08:00