hr {
  width: 100%;
  margin-top: 0px;
  margin-bottom: 0px;
  padding: 0px;
}   
h1 {
  /* color: #000090; */
  font-weight: normal;
  text-align: center;
  font-size: xx-large;
  margin-bottom: 1em;
  margin-top: 1em;
}
h2 {
  font-weight: normal;
  margin-top: 1em;
  margin-bottom: 15px;
}
h3 {
  font-weight: normal;
}
p {
}
img { 
  border-width: 0px;
}
body { 
  margin-left: 10%;
  margin-right: 10%;
  background-color: #b0b0ff;
  color: white;
  font-family: tahoma, arial, helvetica, sans-serif;
}
a:link, a:visited {
  /* text-decoration: underline;*/
}
a:link {
  color: yellow;
}
a:visited {
  color: #e0e0e0;
}
a:hover, a:active {
  text-decoration: underline;
}

th {
  font-weight: bold;
}
td {
  vertical-align: top;
}
tr {
  margin-left: 1em;
  margin-right: 1em;
}
pre {
  font-family: monospace
}
.related {
  font-size: small;
}
.section {
  padding: 1em 1em 1em 1em;
  margin-bottom: 1em;
}
.guts {
  background-color: #0000dd;
}
.note {
  /* background-color: #dfffdf; */
  font-size: small;
}