Make hiding the logo work better
Hiding the logo when the user scrolls down could work more seamlessly. As it stands, there are a few pixels of scroll where the logo is still there even though the header height is already reduced. It's a very small amount of scroll, so probably most users won't notice.