update index

markNZed · Apr 26, 2024 · 9a0f190 · 9a0f190
1 parent eb6d65c
commit 9a0f190
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/index.html b/index.html
@@ -1,9 +1,8 @@
 <video controls width="250">
   <source src="https://github.com/markNZed/codespaces-manim/raw/main/notebooks/media/videos/notebooks/480p30/ImpredicativityAnimation.mp4" type="video/mp4" />
-  Your browser does not support the video tag.
 </video>
 
 <video controls width="250">
   <source src="https://github.com/markNZed/codespaces-manim/raw/main/media/videos/notebooks/480p30/processism.mp4" type="video/mp4" />
-  Your browser does not support the video tag.
-</video>
+</video>
+<a href="https://github.com/markNZed/codespaces-manim/raw/main/notebooks/media/videos/notebooks/480p30/ImpredicativityAnimation.mp4" target="_blank">Impredicativity Animation Video</a>