网站往下滚动之后顶部导航栏高度变小如何制作？

Question

https://www.kali.org/ 就是这个网页顶部的效果怎么做的 就是往下滑动的时候高度会变小，希望能得到各位的解答。我看了这个页面源代码，太杂乱了