.pagetitle {
	font-family: Garamond, Georgia, "Times New Roman", Times, serif;
	font-size: 2em;
	margin-bottom: 0;
}
.menu {
	font-family: Garamond, Georgia, "Times New Roman", Times, serif;
	font-size: 1em;
	border-top-width: 1px;
	border-bottom-width: 1px;
	border-top-style: solid;
	border-right-style: none;
	border-bottom-style: solid;
	border-left-style: none;
}
.maintext {
	font-family: Garamond, Georgia, "Times New Roman", Times, serif;
	font-size: 1em;
	border: none;
}
.traxlist {
	font-family: Garamond, Georgia, "Times New Roman", Times, serif;
	font-size: 1em;
	border-collapse: collapse;
	border: none;
	margin: 5px;
}
.traxlist td {
	border: 1px solid;
	padding: 5px;
}
.traxlist th {
	padding: 5px;
}