From 82063bb8a07eb1a4823f4c0251d87d172b91f783 Mon Sep 17 00:00:00 2001
From: Bas Nijholt <bas@nijho.lt>
Date: Wed, 14 Oct 2026 23:51:07 -0700
Subject: [PATCH] Stack the home-page animations on phones

Side by side at 43%/36%/19% of a phone's width, the GIFs were too small to
read. Below 45em, show them below each other at full width.
---
 docs/_static/extra.css | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docs/_static/extra.css b/docs/_static/extra.css
index c75ad33b..cc89dcd4 100644
--- a/docs/_static/extra.css
+++ b/docs/_static/extra.css
@@ -87,3 +87,11 @@
 .md-typeset img[src*="_static/readme/"] {
   border-radius: 0.4rem;
 }
+/* On phones, stack them instead of shrinking them side by side */
+@media screen and (max-width: 44.984375em) {
+  .md-typeset img[src*="_static/readme/"] {
+    display: block;
+    width: 100%;
+    margin: 0 auto 0.8rem;
+  }
+}