// back slowly to top of the page
function headline_open() {
  document.getElementById('headline').style.visibility='visible'
  document.getElementById('button_to_open').style.display='none'
  document.getElementById('button_to_close').style.display='block'
}

function headline_close() {
  document.getElementById('headline').style.visibility='hidden'
  document.getElementById('button_to_open').style.display='block'
  document.getElementById('button_to_close').style.display='none'
}