Make result page difference bar thicker. Fix #4
Make result page difference bar thicker. Fix #4

Difference bar is set too thin for the default font size of 16 and
WebKit browsers would round down the border size to 0px

wsitu/seest,wsitu/seest