Add a developer option for not running Asciidoc.
Restrict document width to 800px and ensure that 'pre' blocks overflow with scrolling.
Document topbar.js
Generate the Table of Contents inside Mizuho instead of through Javascript.
Fix scrolling to anchors when top bar is enabled: do not hide the header behind the top bar.