Highlight.js is another code highligher. It’s a bit more detailed than Google Code Prettify and pays for this in size. You can combat this by tailoring exactly what languages you want to highlight. I’m currently using this to highlight code on various pages throughout my site. Check it out.