Add bottom margin to <pre>
Add doc-nav and back to top styles
Add back to top links and anchors
Add documentation data file to create the links from
Add a documentation layout
Add compressed css from documentation updates