(1) Cleanups
(2) Added simple code formatting (e.g., line numbers and row banding, plus some rudimentary syntax highlighting).
(3) Added positioning.html page.