About this siteHosted on GitHub Pages (or Netlify occasionally when GitHub Pages are not working)Made with the static site generator zolaCSS partially adapted from LaTeX.css (mostly for fonts and colors)No JavascriptLast updated: Jul 31, 2025