Mozilla by default assumes that 1 (without unit identifier) is in points, not pixels -- hence the border gets thicker. IE makes its own assumptions, which in most cases are incorrect.
In fact, as stated by CSS2 spec, unit identifier is not optional : http://www.w3.org/TR/REC-CSS2/syndata.html#values
