html, body {
	font: normal 15px sans-serif;
	color: #777;
}
html, body, #logo, #logo *, #menu, #menu *, #bottom {
	margin: 0;
	padding: 0;
}
a {
	color: inherit;
	text-decoration: underline;
	font-weight: bold;
}
a:hover, #bottom a:hover {
	color: #444;
}

#logo, #menu {
	border-bottom: 1px solid lightgray;
}
#logo * {
	display:block;
}

#menu {
	display: block;
	background: #f3f3f3;
}
#menu li {
	display: inline;
	list-style: none inside;
}
#menu a {
	font-weight: normal;
	text-decoration: none;
	padding: 10px 30px;
}
#menu a:hover {
	background-color: #777;
	color: #eee;
}
#menu, #center {
	padding: 10px;
}
#center h2 {
	margin-top: 5px;
}
#center img {
	border: 1px solid lightgray;
	padding: 2px;
}
#center p img {
	padding: 0px;
	border: none;
}
#center table * {
	margin: 0;
}
#center table td, #center table th {
	padding: 5px;
	border-bottom: 1px solid lightgray;
	border-right: 1px solid lightgray;
}
#center div, dl, pre {
	margin-left: 22px;
}
dt {
	font-weight: bold;
}
ol ol {
	list-style-type: lower-latin;
}

#bottom {
	font-size: 10px;
	position: absolute;
	top: 0px;
	right: 0px;
	padding: 9px;
	color: #000;
}

#ads {
	float: right;
	margin: 10px;
}
#ads p {
	font-size: 10px;
	color: #a8a8a8;
}
pre {
	text-indent: pre-wrap;
}