.text {
	font-family: Georgia, "Times New Roman", Times, serif;
	color: #000000;
}
.pics img{
border: 2px solid #FFFFFF;
}

.pics a:hover img{
border: 2px solid #C42702;
}

.pics:hover{
color: red; /* irrelevant definition to overcome IE bug */
}.mainBorder {
	border: 3px solid #A90010;
}
.menuBorder {
	border-top: 3px solid #A90010;
	border-right: none;
	border-bottom: 3px solid #A90010;
	border-left: none;
	padding-top: 3px;
	padding-bottom: 3px;
}
.text a:link {
	font-family: Georgia, "Times New Roman", Times, serif;
	color: #A90010;
	text-decoration: none;
}
.text a:visited {
	font-family: Georgia, "Times New Roman", Times, serif;
	color: #A90010;
	text-decoration: none;
}
.text a:hover {
	font-family: Georgia, "Times New Roman", Times, serif;
	color: #333333;
	text-decoration: underline;
}
.text a:active {
	font-family: Georgia, "Times New Roman", Times, serif;
	color: #E02707;
	text-decoration: underline;
}
.fineBorder {
	border: 1px solid #A90010;
	font-size: 12px;
}
.arriving {
	border: 1px solid #A90010;
	background-image: url(images/arriving.gif);
	background-repeat: no-repeat;
	background-position: center center;
	font-size: 12px;
}
.booked {
	border: 1px solid #A90010;
	background-image: url(images/booked.gif);
	background-repeat: no-repeat;
	background-position: center center;
	font-size: 12px;
}
.leaving {
	border: 1px solid #A90010;
	background-image: url(images/leaving.gif);
	background-repeat: no-repeat;
	background-position: center center;
	font-size: 12px;
}