div {
display: block;
  justify-content: center; /* align horizontal */
  align-items: center; /* align vertical */
  padding: 20px;
  background-color: ghostwhite;
    margin-right: auto;
  margin-left: auto;
  max-width: 1000px;
  border: 1px solid grey;
  border-radius: 8px;
  padding: 5px;
}

body {
  /*background-color: floralwhite;*/
  background-color: floralwhite;
}

h1 {
  /*text-decoration: overline red 3px;*/
  color: black;
  text-align: center;
  font-family: georgia, serif;
  font-size: 40px;  
  border-style: dotted dotted none dotted;
  border-width: 2px;
}

h2{
  font-family: verdana;
  font-size: 22px;
  font-weight: bold;
  color: black;
}

h3{
  font-family: verdana;
  font-size: 24px;
  font-weight: bold;
  text-align: center;
  text-decoration: underline;  
/*  border-top-style: solid;
  border-top-width: thin;**/
  color: black;
}

#code{
  font-family: "Courier";
  font-size: 16px;
  color: black;
  border: 1px solid;
}


#pk{
  font-family: "Verdana";
  font-size: 15px;
  color: black;
  border-bottom-style: solid;
  border-bottom-width: thin;
}

#pub{
  font-family: "Times New Roman";
  font-size: 20px;
  color: black;
}

#subt {
  font-family: verdana;
  font-size: 20px;
  font-weight: bold;
  color: black;
}

#subsubt {
  font-family: verdana;
  font-size: 16px;
  font-weight: bold;
  color: black;
}

p {
  font-family: verdana;
  font-size: 16px;
  color: black;
}

#top1 {
  font-family: verdana;
  font-size: 20px;
  color: black;
  border-style: none dotted dotted dotted;
  border-width: 2px;
}


a.top {
  color: black;
  text-align: center;
  font-family: verdana, sans-serif;
  font-size: 25px;
}


a.top:link {
  color: black;
  text-decoration: none;
}

/* visited link */
a.top:visited {
  color: black;
  text-decoration: none;
}

/* mouse over link */
a.top:hover {
  text-decoration: overline red 3px;
}

/* selected link */
a.top:active {
  text-decoration: overline red 3px;
}

a.act {
  color: black;
  text-align: center;
  font-family: verdana, sans-serif;
  font-size: 25px;
}


a.act:link {
  color: black;
  text-decoration: overline red 3px;
}

/* visited link */
a.act:visited {
  color: black;
  text-decoration: overline red 3px;
}


a.txt {
  color: blue;
}


a.txt:link {
  color: blue;
  text-decoration: none;
}

/* visited link */
a.txt:visited {
  color: blue;
  text-decoration: none;
}

/* mouse over link */
a.txt:hover {
  text-decoration: underline blue 1px;
}