Resizing topbar script

Hi there, maybe someone can help me…

I was planning to add to a website a feature for the topbar like the one used in this site

As you can see, scrolling down the page, the bar became small and the ibm logo inside became small, how can achive something like that, what kind of similar script do you know?