pre	{
	font-family:courier;
	font-size:80%;
	}