body {
  background-color: white;
  color: black;
  margin: 5em 15% 5em 15%;
  font-family: sans-serif;
}
a {
  text-decoration: none;
}
a:hover {
  background-color: #ffff80;
}
.addr {
  font-family: "courier new", courier, mono, monospace;
}
.feature {
  color:navy;
}
.file {
  font-family: monospace;
}
.header {
  font-family: monospace;
}
.env {
  font-size: 80%;
  font-weight: bold;
}
.config {
  color: olive;
}
.func {
  color: maroon;
}
.cmd {
  font-family: monospace;
  font-variant: normal;
  color: navy;
}
.man {
  color: red;
  font-style: italic;
  text-decoration: none;
}
.textlink {
  color: red;
  text-decoration: none;
}
ul.spaced > li {
  margin: 1em 0px;
}
.samp {
  //background-color: silver;
  font-family: monospace;
  margin: 1em 0px;
  //padding: .5em .5em 0px .5em;
  padding: .5em;
  border: 2px dotted red;
  //overflow: auto;
}
.sampcomment {
  color: silver;
  font-style: italic;
  font-family: sans-serif;
}
.type {
  color: green;
  font-family: monospace;
}
#title {
  font-size: xx-large;
  //font-size: 250%;
  font-weight: bold;
}
#subtitle {
  font-size: large;
  font-variant: small-caps;
}
#need {
  font-size: xx-large;
  font-weight: bold;
  text-decoration: underline;
}