Dev

* Design is now responsive to window width (see commit 2a3eb99)
* Code highlighting via included pygments.css, based on native.css and then customized.
* Styling for default elements, such as `table`, `code`, etc.