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

div.content {
	padding: 20px;
	width: 700px;
	background-color: #F8F8F8;
	border: thin outset;
/*	float: left;
	clear: both;
*/
}

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: #F8F8F8;
	border: thin outset;
}

pre {
	white-space: pre-wrap;
}