More updates to the documentation part of the website: improved layout, added hightlight.js, updated docs.