path: root/www/html/tip.js

function toggle_div(bouton, id) { 
  var div = document.getElementById(id);
  div.style.display = "none"; 
}