Render videos in video elements

LuxDL · Feb 16, 2024 · f2aed14 · f2aed14
1 parent 5fb34a1
commit f2aed14
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"()]