DT { margin-top: 2em;
	 border-bottom: 1px solid #ccc;
	 font-size: larger;
	}


PRE     {
  background: #f8f8f8;
  border: 1px solid #ccc;
  color: black;
  padding: 1em;
  white-space: pre;
  line-height: 1.2;
  margin-top: 1em;
}