Added the ability to render formatted and highlighted code in documents, uses the minted package.
Made the fact list scroll to the top when a section is changed.