body {
  margin: 0em 1em 2em 1em;
  font-family: Arial, sans-serif;
  color: black;
  background-color: white;
  text-align: center;
}

h1, h2, h3
{
  text-align: center;
  font-family: Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
  font-weight: normal;
  color: #710291; 
}

/*  color: #0050B2; */

h3.sidebyside
{
  text-align: left;
}

pre.sidebyside
{
  font-family: Tahoma, sans-serif;
	font-size: 8pt;
	margin-left: 0;
}

pre.standalone
{
	text-align: left;
	font-size: 9pt;
  font-family: Tahoma, sans-serif;
	margin-left: 8em;
}

h3.extract
{
	color: black;
	font-size: 18pt;
}

div.extract
{
	text-align: left;
	font-size: 14pt;
	margin-left: 8em;
	margin-right: 8em;
}

span.typo
{
	color: red;
}