Website problems

Patch library isn’t fully working at the moment.
Seems google is moving their prettify code to github. We use it to pretty print source code; when it fails to load, you don’t get to see the code.
Working on it!

Fixed now - let us know if there are any further problems!