This website is generated offline from HTML templates and Markdown content using a Python script I developed and a bunch of libraries. The resulting files are then served statically to you.

The libraries used in the backend are:

• Jinja2 as template engine
• Markdown to convert Markdown to HTML
• Pygments for syntax highlighting
• feedgen to generate the Atom feed
• Wand and Pillow for image processing
• PyYAML as config file parser
• py_w3c to validate the generated HTML
• markdown-katex for math typesetting

… and the frontend is made with:

• Pure.css for the layout
• Font Awesome for icons
• Vollkorn as the font for running text
• Source Code Pro as the font for code
• Manrope as the font for everything else
• perfundo for image galleries

The layout is based on the Blog example layout by Pure.css, which is licensed under the zLib license.