body { background-color: #ffffff; color: #000000;font-family: sans-serif; margin: 30px; }
hr { width: 600px; border: 0px; height: 1px; background-color: #cccccc; color: #000000; }
h1 { font-family: "book antigua", "Times New Roman", serif; font-weight: normal; }
h3 { font-weight: normal; }

a { text-decoration: none; }

.timestamp 
{
	width: 600px; font-size: 75%;
}

td.menu
{
	background: white;
	margin: 1px 0px;
	padding: 2px 4px;
	border-right: 6px solid #FFBD32; 
	font-weight: bold;
}
td.menu:hover
{
	color: #FFBD32;
	background: #BBBBBB;
	text-decoration: none 
}
td.menu a 
{
	text-decoration: none 
}
td.menu a:hover 
{
	color: #FFBD32;
	text-decoration: none 
}