5 commits

Author	SHA1	Message	Date
Glenn	ba2c8adce0	Use webm instead of svg/gif	2023-10-25 13:23:55 +02:00
Glenn	abc6017eed	doc: update demo	2023-10-25 10:53:54 +02:00
Glenn	89184b9829	doc: update ascii recording	2023-10-25 00:21:04 +02:00
Glenn	aeed29e7b8	fix: clean up SVG animation	2023-10-24 13:05:07 +02:00
Glenn	24cfb5803d	doc: add output	2023-10-24 12:50:42 +02:00