Add TACAS'25
Add an isync example
Add note on emacs-lucid
Add Emacs compilation instructions
Remove output dirs of fonts
CV and text
Add title
Add pretty-printing the current line
Add new content and generated SVG files
Add more comments
Add graph coloring page
Add new util function
Add style for code, add util
Add some more info, software, and publish
Add webfonts, make site prettier
Add content pages
Less padding
Don't load iosevka
Don't rely on webfonts!
Style changes