Dynamic Header Resizing

Hello folks,
By coincidence, I happen to be wanting to control the same things - menus etc. There is a VERY interesting page that you should look at here:-
https://javascript.info/js-animation

It is really informative, and actually fascinating, both in terms of code, and from the graphs drawn to illustrate visually how an effect or animation works.

Shall we all try to get some of this incorporated? I’m going to go for a shrinking header that has a slight, smooth bounce to it!