search

rust-analyzer / rust-analyzer.github.io

https://rust-analyzer.github.io/
85 stars 52 forks source link

Set max-width of video #82

Closed Aloso closed 3 years ago

Aloso commented 3 years ago

Adjusts the width of <video> elements, e.g. on this page: https://rust-analyzer.github.io/thisweek/2020/12/21/changelog-56.html

matklad commented 3 years ago

I wonder if it makes sense to stick with gifs. I get that mp4 is the proper way to do this, but gifs have better out-of-the-box autoplay behavior...