function start_up(){
  if(saf || (navigator.platform.indexOf("Mac")>=0)){
    document.getElementById("navigation").style.fontWeight="bold";
    document.getElementById("navigation").style.fontSize="71%";
  }
}