<footer>
Copyright © 1998-2016 John W. Eaton.
Verbatim copying and distribution is permitted in any medium,
provided this notice is preserved.
</footer>

<script>
function topnav() {
  var x = document.getElementById("myTopnav");
  if (x.className === "topnav") {
    x.className += " responsive";
  } else {
    x.className = "topnav";
  }
}
</script>