Update google-code-prettify (4-Mar-2013.tar.bz2) & bootstrap (v3.1.1)