From f2aed142ccdf971665bbb35ed5cd4d4f518b6e63 Mon Sep 17 00:00:00 2001
From: Anshul Singhvi <anshulsinghvi@gmail.com>
Date: Fri, 16 Feb 2024 15:30:47 -0500
Subject: [PATCH] Render videos in video elements

---
 src/writer.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/writer.jl b/src/writer.jl
index c20272b8..232347fb 100644
--- a/src/writer.jl
+++ b/src/writer.jl
@@ -239,7 +239,7 @@ function render(io::IO, mime::MIME"text/plain", node::Documenter.MarkdownAST.Nod
             base64decode(d[MIME"image/gif"()]))
         println(io,
             """
-    ![]($(filename).mp4)
+    <video src="$filename.mp4" controls="controls" autoplay="autoplay"></video>)
     """)
     elseif haskey(d, MIME"text/plain"())
         text = d[MIME"text/plain"()]