p.howto {
  color: green;
  font-weight:bold;
  }
p.whatis {
  color: maroon;
  font-weight:bold;
  }
p.doit {
  color: purple;
  font-weight:bold;
  }
li {
  margin-top: 1em;
  }
span.warn {
  color: red;
  font-weight:bold;
  }