From 9bcf350c8c3f3f649fd25229630c603c0d2cc326 Mon Sep 17 00:00:00 2001
From: Jason McBrayer <jmcbray@carcosa.net>
Date: Thu, 16 Nov 2023 18:49:40 -0500
Subject: [PATCH] Resize videos in HTML like we do images now.

This is probably *fairly* useless, since no browsers as far as I know
support the video tag, but not CSS. But it could make a basic CSS
theme a few lines shorter.
---
 brutaldon/templates/main/toot_partial.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/brutaldon/templates/main/toot_partial.html b/brutaldon/templates/main/toot_partial.html
index 42dda66..1f1a97e 100644
--- a/brutaldon/templates/main/toot_partial.html
+++ b/brutaldon/templates/main/toot_partial.html
@@ -120,7 +120,8 @@
                     </figure>
                     {% else %}
                     <figure class="column">
-                        <video controls loop class="is-max-256"
+                      <video controls loop class="is-max-256"
+                             width="256" height="256"
                                poster="{{ media.preview_url }}">
                             <source src="{{ media.url }}" type="video/mp4">
                             <a href="{{ media.url }}">