Как сжимать меню навигации при прокрутке вниз?

Для нового сайта, который я разрабатываю, я бы хотел уменьшить навигацию меню, когда пользователь прокручивает страницу вниз.

Что-то похожее на то, что вы можете увидеть на сайте IBM: http://www.ibm.com/us/en/

Я не нашел никакой реализации jQuery или учебное пособие (я уверен, что искал не те ключевые слова)

Так что, если кто-то укажет мне правильное направление, я буду очень счастлив.

Заранее спасибо!