<footer>
Copyright © 1998-2016 John W. Eaton.
This work is licensed under a
<a rel="license" href="http://creativecommons.org/licenses/by-nd/4.0/">
  Creative Commons Attribution-NoDerivatives 4.0 International License
</a>.
</footer>

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