updated bootstrap and patched prettify