HTML Cabeçalho que diminui com a rolagem de tela

[JALuza]

Boa tarde. 

Retomando o estudo de HTML, montei um site. Com a ajuda de um outro tópico aqui do fórum consegui fazer com que o header do meu site fosse fixo. Porém, navegando por outros sites em busca de inspiração, vi em um site um cabeçalho que se tornava menor ao descer a tela, de modo que apenas o menu de navegação ficasse visível. 

Enfim, gostaria de saber como poderia replicar o efeito e se para isso seria necessário o uso de javascript. Obrigado

PS: Desculpem pelo título que não explica muito, foi o melhor que consegui fazer

[washalbano]

Boa tarde!
Sim! será necessário usar javascript.
veja alguns exemplos aqui: https://codepen.io/search/pens?q=header+shrink+on+scroll

[JALuza]

@washalbano Entendi. Muito obrigado pela ajuda.