body {
	font-family: sans-serif;
	font-size: 12pt;
	color: #000000;
	background-color: #780000;
}

div.content {
	padding: 20px;
	width: 600px;
	background-color: #FCFCE8;
	border: thin outset;
}

td  {
	vertical-align: top;
}

.bold  {
	font-weight: bold;
}

a  {
	text-decoration: none;
	color: blue;
}

a:hover  {
	color : red;
	font-weight : bold;
}

/*
 * The menu
 */

div.menu {
	position: fixed;
	right: 10px;
	top: 10px;
	float: right;
	text-align: center;
	width: 150px;
	padding: 10px 10px 10px 10px;
	background-color: #FCFCE8;
	border: thin outset;
}