body {
	background-image: url(images/gray-s.gif);
	background-repeat: no-repeat;
	background-position: center;
	background-color: #FFFFFF;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	margin-bottom: 12px;
	font-style: normal;
}
.plaintext {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	margin-bottom: 12px;
}
.header {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12pt;
	font-weight: bold;
	margin-bottom: 12px;
}
.tableheader {
	font-weight: bold;
	margin-top: 12px;
	text-align: center;
}
.linklist {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	text-align: center;
}
.reverseheader {
	font-size: large;
	font-weight: bold;
	color: #FFCC33;
	background-color: #000000;
	font-family: Arial, Helvetica, sans-serif;
	font-style: italic;
	margin-bottom: 0px;
	border-top-width: medium;
	border-right-width: medium;
	border-bottom-width: medium;
	border-left-width: medium;
	border-top-style: solid;
	border-right-style: none;
	border-bottom-style: none;
	border-left-style: solid;
	border-top-color: #FFFFFF;
	border-right-color: #FFFFFF;
	border-bottom-color: #FFFFFF;
	border-left-color: #FFFFFF;
}
.boxright {
	overflow: visible;
	position: relative;
	visibility: visible;
	z-index: auto;
	top: 0px;
	right: auto;
}
.now_occupied {
	background-image: url(images/Now Occupied.gif);
	background-repeat: no-repeat;
	background-position: center;
}