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
..
css	Ensure that diff stats can scroll independently of the diff (#8581) (#8611)	2019-10-21 16:53:34 +08:00
img	Move migrating repository from frontend to backend (#6200)	2019-10-13 21:23:14 +08:00
js	Move migrating repository from frontend to backend (#6200)	2019-10-13 21:23:14 +08:00
less	Ensure that diff stats can scroll independently of the diff (#8581) (#8611)	2019-10-21 16:53:34 +08:00
vendor	vendor: update pdf.js to v2.1.266 (#7834)	2019-08-13 20:09:06 +03:00