Using HTML5 doctype means CSS pixels sizes must have "px" suffix which
many of them did not. Fix that.