A shrinking (shy) navigation bar that automatically adjusts as a user scrolls, with customizable full and shy heights.