This site is created using the Hugo static site generator. Hugo accepts Markdown and translates it into HTML/CSS/JS based on the provided theme. This site uses the terminal theme. Terminal has some theme-specific features, which are detailed in the previous link. How to build this site: Firstly, make sure that you’re using a recent version of Hugo. The version shipped in Debian stable is too old for our purposes. The author is using v0.