body   /* Revert to 12pt, Times Roman, black on white */
{
	font: 12pt "Times New Roman", Times, serif;
  color: black;
  background: white;
}

#nav  /* Remove Nav links */
{
		display: none;
}

#content /* Make text fit available space */
{
  margin: 0;
  width: 100%;
}

#footer /* Remove Footer */
{
  display: none;
}
 
a  /* Make links look like ordinary text */
{
  color: black;
  text-decoration: none;
}

dt  /* Emphasise definition headings */
{
  margin: 2pt 0 0 0;
  font-weight: bold;
}