Gif instead of mp4 for embed

diff --git a/README.md b/README.md
index 1e6c3958e04212807b623a80bdb51a0418229f38..3f209fae4a981aee6a1e4778878d69a5aca91560 100644 (file)
--- a/README.md
+++ b/README.md
@@ -16,8 +16,8 @@ The project is configured through a config format whose format is specified in t
 ## Showcase
 
 ![Fancy error reporting!](./error_handling.png)
-![Animations, colors, and scrolling!](./animations_scrolling.mp4)
-![Flexible layout!](./flexible_layout.mp4)
+![Animations, colors, and scrolling!](./animations_scrolling.gif)
+![Flexible layout!](./flexible_layout.gif)
 
 # Instructions
 

diff --git a/animations_scrolling.gif b/animations_scrolling.gif
new file mode 100644 (file)
index 0000000..32f58cc
Binary files /dev/null and b/animations_scrolling.gif differ

diff --git a/animations_scrolling.mp4 b/animations_scrolling.mp4
deleted file mode 100644 (file)
index eb36cc1..0000000
Binary files a/animations_scrolling.mp4 and /dev/null differ

diff --git a/flexible_layout.gif b/flexible_layout.gif
new file mode 100644 (file)
index 0000000..4f6c71f
Binary files /dev/null and b/flexible_layout.gif differ

diff --git a/flexible_layout.mp4 b/flexible_layout.mp4
deleted file mode 100644 (file)
index 9bab9e6..0000000
Binary files a/flexible_layout.mp4 and /dev/null differ