.green  {
	color : green;
}

.blue  {
	color : blue;
}

p  {
	font-family : Arial, Helvetica, sans-serif;
}

em.typename  {
	font-family : Arial, Helvetica, sans-serif;
	color : green;
	font-weight : bold;
	font-style : normal;
}

td.name  {
	font-family : Arial, Helvetica, sans-serif;
	text-align : left;
	color : blue;
	font-weight : bold;
}

td.typename  {
	font-family : Arial, Helvetica, sans-serif;
	text-align : right;
	color : green;
	font-weight : bold;
}

td.left  {
	font-family : Arial, Helvetica, sans-serif;
	text-align : left;
}

td.right  {
	font-family : Arial, Helvetica, sans-serif;
	text-align : right;
}

td.left-key  {
	font-family : Arial, Helvetica, sans-serif;
	text-align : left;
	font-weight : bold;
}

td.right-key  {
	font-family : Arial, Helvetica, sans-serif;
	text-align : right;
	font-weight : bold;
}