According to the W3C spec, a legal value for
width is a
<percentage>, which is defined as "an optional sign character ('+' or '-', with '+' being the default) immediately followed by a
<number> immediately followed by '%'." As the definition of
<number> includes "can be zero or more digits followed by a dot (.) followed by one or more digits,", the browser must support decimal values for widths. Safari (1.2.2) does not, instead calculating the pixel width value from the truncated width-as-integer value.