function fixmargin(){
  document.getElementById("tab0").style.marginBottom=0;
}