new stylesheet option to prevent comment generation within inline style="…" in HTML !!!