I don't use this theme any more.
Add colours for Pygment
Add a post on automated deployment.