Updated Google Code Prettify Bookmarklet

My poor blogless friend Henri has made some small updates to the original Google Code Prettify JavaScript Bookmarket.