small UI fixes; added xml coloring support