This website is maintained by its maintainer(s). If you have questions about the content, you may contact the maintainer of any given page using the contact methods given on that page.
This site was last updated 12 September 2021.
The fonts used on this site are Inria Sans and Inria Serif, developed by Black[Foundry] and used under the terms of the Open Font License. You can download the font from Black[Foundry]’s repository at BlackFoundry/InriaFonts on GitHub, and read about its development on their website. In some situations, the font’s swash variant is displayed, using CSS’
This site is generated using Jekyll and a custom theme based on html5-boilerplate. If you want to build something like this, start by learning HTML and CSS. Mozilla Developer Network is the best reference; Codecademy is an okay starting point. Use your browser tools. Experiment with things. Try new tools and techniques, but don’t be afraid to stick with tried-and-tested old stuff. No fancy deploy pipelines here; this site is uploaded via rsync.
On some pages, the background image is an SVG generated using SVG Backgrounds.