a.menu 
	{
	color: #000000;
	text-decoration: none;
	font-family: "Times New Roman"
	}

p
	{ 	
	font-family: "Times New Roman";
	}

pre 	
	{ 	
	font-family: "Times New Roman";
      	font-size: small;
	}