btw, for anyone who who wants to know, this is how you switch between an animated/still version of a button (or whatever else) based on user preference
<picture title=thing> <source srcset=thing_still.png media='(prefers-reduced-motion: reduce)'> <img src=media/buttons/thing.gif alt=thing> </picture>
the thing in the media attribute is a media query like in css, so you can also use the same pattern to automatically switch between light/dark mode with (prefers-color-scheme: dark), or whatever.
This page's posts are visible only to users who are logged in.