body
{
	font-size: 9pt;
	color: black;
	font-family: Arial;
}

.header
{
	font-weight: bold;
	font-size: 12pt;
	color: black;
	font-family: Arial;
}
.replacement
{
	font-size: 9pt;
	color: black;
	font-family: Arial;
}
.prefix
{
	font-weight: bold;
	font-size: 9pt;
	color: red;
	font-family: Arial;
}
.workername
{
	font-size: 9pt;
	color: black;
	font-family: Arial;
}
.relief
{
	font-size: 9pt;
	color: black;
	font-family: Arial;
	text-decoration: underline;
}