Improvement for coverage percent bar html

The display of the red/green percent bars seems to be slightly broken; sometimes only the red part is shown, sometimes the total width of the bar overflows; this patch should make it look better