added a quoted_html_attr which can be used when the attribute is double-quoted