div.dummy		{
	color:	#0000CC;
}
body	{
	font-size:	12pt;
}