Use pixel units for border widths less than 1em to avoid Safari rounding bug.