/* (c) 2011 Nikolaus Polak */
/* simple way to keep logo and menubar visible when scrolling down */

window.onscroll = function () {
  var menu = document.getElementById("menu");
  var logo = document.getElementById("logo");
  var header = document.getElementById("header");
  if (window.pageYOffset > 90) { 
    menu.style.top = '0px';
    menu.style.position ='fixed';
    logo.style.top = '18px';
    logo.style.position ='fixed';
    header.style.height = '124px';
  }
  if (window.pageYOffset < 88) {
    menu.style.position ='relative';
    logo.style.top = '0';
    logo.style.position ='relative';
    header.style.height = '80px';
  }
}