.pgmenu
{
	font-size: 80%;
}