1. Now loading google-code-prettify js at the end.
2. Only the first part of the page is now in a jumbotron. The rest is now in a <div class="container">.