div.story {
  width: 32em;
  margin: 0 20%;
  text-align: justify;
  font-family: serif;
  clear: both;
}

div.story h1 {
  text-align: center;
}

div.story h2 {
  margin-top: -1ex;
  font-size: 100%;
}

div.story p.copyright {
  text-align: right;
  font-style: italic;
}

div.topnav {
  clear: both;
  width: 80%;
  margin: 3ex auto 0;
}
div.topnav span.navback {
  float: left;
  text-align: left;
  width: 20%;
}
div.topnav span.navmiddle {
  width: 58%;
}
div.topnav span.navforward {
  float: right;
  text-align: right;
  width: 20%;
}

div.bottomnav {
  clear: both;
  width: 80%;
  margin: 3ex auto 0;
  padding-bottom: 6ex;
}
div.bottomnav span.navback {
  float: left;
  text-align: left;
  width: 20%;
}
div.bottomnav span.navmiddle {
  width: 58%;
}
div.bottomnav span.navforward {
  float: right;
  text-align: right;
  width: 20%;
}