How to Create a Shrinking Header on Scroll Without JavaScript

https://css-tricks.com/how-to-create-a-shrinking-header-on-scroll-without-javascript/