p.body	{
	font-family: "Times New Roman", Times, serif;
	font-size: small;
	font-weight: bold;
	color: #000000
	}

p.bodyred{	
	font-family: "Times New Roman", Times, serif;
	font-size: small;
	font-weight: bold;
	color: #800000
	}

p.booking{
	font-family: "Times New Roman", Times, serif;
	font-size: x-small;
	font-weight: normal;
	color: #000000
	}
	
p.headings{
	font-family: "Times New Roman", Times, serif;
	font-size: large;
	font-weight: bold;
	color: #800000
	}

a.links	{
	font-family: "Times New Roman", Times, serif;
	font-size: small;
	text-decoration: none;
	color: #800000
	}
a.menu	{
	font-family: "Times New Roman", Times, serif;
	font-size: small;
	text-decoration: none;
	font-weight: bold;
	color: #800000
	}