body {
  background: #f4f4f4;
  color: black;
}

.body { 
  margin: 6px;
}

h1 { 
  font-size: x-large;
}

h2 {
  border-style: none none solid none;
  border-width: 1px;
  font-size: large;
}

h3 { 
  padding: 2px;
  background: #d7d7d7;
  width: 50%;
}

h1 { 
  width: 60%;
}

h2 { 
  width: 50%;
}


dt {
  font-weight: bold;
}

dd { 
  margin-left: 2em;
  margin-bottom: 1em;
}

em {
  font-style: normal;
  font-weight: bold;
}

.copyright { 
  background: #e6e6e6;
  color: gray;
}

.copyright {
  text-align: left;
  font-family: Times, serif;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
}

pre {
  border-right: #646464 1px solid;
  padding-right: 0.5em;
  border-top: #646464 1px solid;
  padding-top: 0.5em;
  border-left: #646464 1px solid;
  padding-left: 0.5em;
  border-bottom: #646464 1px solid;
  padding-bottom: 0.5em;
  margin-left: 1em;
  margin-right: 2em;
  white-space: pre;
  background-color: #e6e6e6;
  color: black;
  font-family: monospace;
}

pre.fortune { 
  border-style: none;
  margin-left: 4em;
  margin-right: 4em;
}

ul {
  margin-top: 1em;
  margin-bottom: 1em;XS
}