function toggle(id) {
  let elt = document.getElementById(id);
  if (!elt)
    return;
  if (elt.style.display == 'block')
    elt.style.display = 'none';
  else
    elt.style.display = 'block';
}