[Doc] Convert GIF files to WebM

[slax57]

Convert GIF files to WebM to reduce assets size.
Total GIF files size: 44.9 MiB
Total WebM files size: 16.9 MiB
Reduced assets size by 62.41 %!

Todo

• Discuss if we should keep the GIF files for now or not
• Fix TimeInput.md
• Needs more testing
• Improve video quality
• Use CSS instead of repeating the styles
• Fine-tune the video quality to better optimize assets size

[fzaninotto]

Great! But the compression is a bit too aggressive, and artifacts are visible.

I tested on the features page, mostly the saved queries gif.

[fzaninotto]

needs rebase

[fzaninotto]

The quality is better!

But:

• I'm surprised that the size reduction isn't more dramatic
• Some webm files are larger than their GIF counterpart (e.g. the main video in ArrayInput.md)
• Some webm files are still super large (e.g. datagrid_expand), probably because their resolution is too high

I think we need to tweak the video quality a bit more towards compression.

[slax57]

I've updated the WebM files with the following changes:

• CRF set to 24
• Maximum FPS set to 15
• Maximum video resolution set to 1920x1080

With these changes, the assets size was reduced by 62.41 %, hopefully with not too much impact on quality 🙂

[fzaninotto]

Awesome!