2 Commits

Author	SHA1	Message	Date
Pim van Pelt	221697a65b	Convert all asciinema into live players - ensure there is a GIF for older casts, remove the dangling CSS/JS	2024-08-05 17:13:39 +02:00
Pim van Pelt	d35c46078f	Add styling on links	2024-08-04 17:41:39 +02:00