Templates

The layout of the generated HTML pages can be customized by editing view.html and style.css.