tweaked the XML prettify theme to look less ugly