body {font-family:"Times New Roman",serif;}
h2 {color:#4000A0}
h1 {color:#4000A0; text-align:center}

#changelog P {font-size: 80%}

pre {
	padding: 0.5em;
	margin: 10px;
	background: lightgrey;
	color: black;
	border-style: solid;
	border-width: thin;
	border-color: gray;
}

div#menu {
	position: absolute;
	left: 10px;
	width: 140px;	

	display: block;
	padding: 5px;
	margin: 5px;
	border-color: blue;
	border-style: dotted;
	border-width: thin;
}
#menu ul {
	list-style-type:none; 
	margin:0; 
	padding:0;
}
#menu li {
	margin-bottom:20px;
}
#menu a {
	font-family:Arial,Helvetica,sans-serif; 
	font-weight:bold; 
	font-size:14px; 
	text-decoration:none; 
	color:#0000BB;
}
#submenu ul {
	list-style-type: circle;
	margin-left:20px; 
	padding:0;
}
#submenu li {
	margin-top:10px;
}

div.body { 
	display: block;
	margin: 5px;
	position: absolute;
	left: 170px;
}

.body table { 
	width: 100%; 
	border-collapse: collapse;
}

.body td {
 	padding: 0.1em;
}