remove prettify code in favor of http://wordpress.org/extend/plugins/wp-code-prettify/