http://www.w3.org/TR/html4/strict.dtd"> WebHowTo.css.html
/*
 WebHowTo.css
*/

body {
  color: black;
  background-color: LightGray;
}

.section {
  margin: .5em;
  padding: .5em;
  border: thick solid gray;
  background-color: white;
}

samp {
  color: magenta;
  font-weight: bold;
}

em.file {
  font-family: fixed;
  color: #191970;
}

pre.output {
  font-weight: bold;
  color: slategray;
}

ol.lettered {
  list-style-type: lower-alpha;
}

ol.roman {
  list-style-type: lower-roman;
}

li.none {
  list-style-type: none;
}
li.disc {
  list-style-type: disc;
}
li.circle {
  list-style-type: circle;
}
li.square {
  list-style-type: square;
}

table {
  font-family: fixed;
  background-color: LightGray;
  margin: .5em;
  border-style: inset;
}

th {
  text-align: left;
  font-style: italic;
  color: tomato;
}

td {
  padding-left: .5em;
  padding-right: .5em;
}

span.note {
  font-weight: bold;
  color: brown;
  background-color: #ffffcc;
}

span.bbold {
  font-weight: bold;
  color: black;
}

span.rpm {
  font-family: monospace;
  font-weight: bold;
  color: tomato;
}

span.tag {
  font-family: monospace;
  font-weight: bold;
  color: darkgreen;
}

span.attr {
  font-family: monospace;
  font-weight: bold;
  font-size: larger;
  color: red;
}

span.command {
  font-family: monospace;
  font-style: italic;
  color: purple;
}

span.copyright {
  text-align: center;
  font-size: smaller;
}