What happened to the CSS?

First written on February 6, 2020
Last updated on July 21, 2022

Yes, I practically removed all the CSS file from this website!

This gives me some advantages:

If you have problems because of the absence of a dark theme, don’t complain: install Redshift.

Update 2022-07-21: now I’m using GitHub’s primer Jekyll theme CSS because it’s more responsive and more elegant.