Code Diff: fix text coloring of new/deleted content
Themes: add pygment styling to matching ace themes