added some syntax-highlighter css for 2012 themes