tweaks to php, html, xml styles