some more code highlighting themes from http://jmblog.github.com/color-themes-for-google-code-prettify/