blog
|
fix markdown on posts
|
2024-11-06 16:31:13 +01:00 |
constants.css
|
custom selection color
|
2024-07-10 22:58:35 +02:00 |
contact.css
|
Metadata and contacts (#38)
|
2023-10-20 18:21:11 +02:00 |
contrib.css
|
fix css
|
2024-06-03 00:20:32 +02:00 |
cours.css
|
make mobile layout trigger sooner
|
2024-12-13 20:32:32 +01:00 |
index.css
|
rounded square pfp #55
|
2024-03-03 20:55:00 +01:00 |
languages.css
|
add TeX lang
|
2024-05-11 15:11:48 +02:00 |
markdown.css
|
fix theme switching for mermaid diagrams
|
2024-12-16 13:52:12 +01:00 |
style.css
|
dim image in dark mode
|
2024-12-04 11:04:31 +01:00 |
web3.css
|
change cookie bg
|
2023-10-15 21:35:56 +02:00 |