body
{
	font-size: 13px;
	font-family: "Courier New", monospace;
	width: 50em;
	background: #f5f5f5;
	margin: 3em;
}


*+html body {
        font-size: 0.8em;
}
* html body {
        font-size: 0.8em;
}


HR
{
  color: #000;
  background-color: #000;
  height: 1px;
  border: 1px;
}

.redc00 { color: #c00; }