Upgraded to the latest version of Bootstrap
Removed old prettify js files
Fixed typo in documentation.html
Put back the responsive menu toggle I accidentally removed