minor bug fix in outline_width in css_computed