theme tweaks

removed unused styles and added xml-specific highlighting