This website is generated with MkDocs, with the theme Material.