/* empty — inline styles are printed in PHP for reliability */