Update

Google prettify colouring changed.