generated from github/codespaces-jupyter
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
added some style and hyperlinks to download the video if needed
- Loading branch information
1 parent
12db201
commit 05b3592
Showing
1 changed file
with
47 additions
and
23 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,23 +1,47 @@ | ||
| <figure> | ||
| <figcaption>Impredicativity Animation</figcaption> | ||
| <video controls width="250"> | ||
| <source src="https://github.com/markNZed/codespaces-manim/raw/main/notebooks/media/videos/notebooks/480p30/ImpredicativityAnimation.mp4" type="video/mp4" /> | ||
| <p>Your browser doesn't support HTML5 video. Here is a <a href="https://github.com/markNZed/codespaces-manim/raw/main/notebooks/media/videos/notebooks/480p30/ImpredicativityAnimation.mp4">link to the video</a> instead.</p> | ||
| </video> | ||
| </figure> | ||
|
|
||
| <figure> | ||
| <figcaption>Processism</figcaption> | ||
| <video controls width="250"> | ||
| <source src="https://github.com/markNZed/codespaces-manim/raw/main/media/videos/notebooks/480p30/processism.mp4" type="video/mp4" /> | ||
| <p>Your browser doesn't support HTML5 video. Here is a <a href="https://github.com/markNZed/codespaces-manim/raw/main/media/videos/notebooks/480p30/processism.mp4">link to the video</a> instead.</p> | ||
| </video> | ||
| </figure> | ||
|
|
||
| <figure> | ||
| <figcaption>Processism 3D</figcaption> | ||
| <video controls width="250"> | ||
| <source src="https://github.com/markNZed/codespaces-manim/raw/main/media/videos/notebooks/480p30/processism_3D.mp4" type="video/mp4" /> | ||
| <p>Your browser doesn't support HTML5 video. Here is a <a href="https://github.com/markNZed/codespaces-manim/raw/main/media/videos/notebooks/480p30/processism_3D.mp4">link to the video</a> instead.</p> | ||
| </video> | ||
| </figure> | ||
| <style> | ||
| body { | ||
| background-color: #f0f0f0; | ||
| } | ||
|
|
||
| figure { | ||
| margin: 1em 0; | ||
| text-align: center; | ||
| } | ||
|
|
||
| figcaption { | ||
| font-weight: bold; | ||
| margin-bottom: 0.5em; | ||
| } | ||
|
|
||
| video { | ||
| border: 1px solid #ddd; | ||
| border-radius: 4px; | ||
| padding: 5px; | ||
| width: 100%; | ||
| max-width: 500px; | ||
| } | ||
| </style> | ||
|
|
||
| <figure> | ||
| <figcaption><a href="https://github.com/markNZed/codespaces-manim/raw/main/notebooks/media/videos/notebooks/480p30/ImpredicativityAnimation.mp4">Impredicativity Animation</a></figcaption> | ||
| <video controls> | ||
| <source src="https://github.com/markNZed/codespaces-manim/raw/main/notebooks/media/videos/notebooks/480p30/ImpredicativityAnimation.mp4" type="video/mp4" /> | ||
| <p>Your browser doesn't support HTML5 video. Here is a <a href="https://github.com/markNZed/codespaces-manim/raw/main/notebooks/media/videos/notebooks/480p30/ImpredicativityAnimation.mp4">link to the video</a> instead.</p> | ||
| </video> | ||
| </figure> | ||
|
|
||
| <figure> | ||
| <figcaption><a href="https://github.com/markNZed/codespaces-manim/raw/main/media/videos/notebooks/480p30/processism.mp4">Processism</a></figcaption> | ||
| <video controls> | ||
| <source src="https://github.com/markNZed/codespaces-manim/raw/main/media/videos/notebooks/480p30/processism.mp4" type="video/mp4" /> | ||
| <p>Your browser doesn't support HTML5 video. Here is a <a href="https://github.com/markNZed/codespaces-manim/raw/main/media/videos/notebooks/480p30/processism.mp4">link to the video</a> instead.</p> | ||
| </video> | ||
| </figure> | ||
|
|
||
| <figure> | ||
| <figcaption><a href="https://github.com/markNZed/codespaces-manim/raw/main/media/videos/notebooks/480p30/processism_3D.mp4">Processism 3D</a></figcaption> | ||
| <video controls> | ||
| <source src="https://github.com/markNZed/codespaces-manim/raw/main/media/videos/notebooks/480p30/processism_3D.mp4" type="video/mp4" /> | ||
| <p>Your browser doesn't support HTML5 video. Here is a <a href="https://github.com/markNZed/codespaces-manim/raw/main/media/videos/notebooks/480p30/processism_3D.mp4">link to the video</a> instead.</p> | ||
| </video> | ||
| </figure> |