html, body {
	margin: 0;
	padding: 0;
	font-family: Arial, Helvetica, Verdana, Sans-serif;
	font-size: 100%;
	background: #f6f5ed;
}

p, dd {
	line-height: 130%;
}

dt {
	font-weight: bold;
}

h1 {
	margin: 0;
	padding: 0;
	font-family: Georgia, Times, serif;
	font-size: 150%;
}

code, pre {
	font-family: courier,monospace;
	color: #666666;
}

pre {
	margin-right: 1em;
/*	margin-left: 1em; */
}

.sourcecode {
	margin-left: 1em;
}

.abstract {
	font-style: italic;
	padding-bottom: 4px;
}

.abstract .title {
	text-decoration: underline;
}

.title {
	font-style: italic;
}

.image {
	padding-left: 1em;
	padding-top: 0em;
}

.caption {
	font-style: italic;
	font-size: 70%;
}

.sidebar {
	background: #f6f5ed;
	border: 1px dashed black;
	margin: 15px;
	padding: 10px;
	width: 85%;
}

.link {
	padding-bottom: 25px;
}

.result-item {
	padding-bottom: 15px;
}

.disabled {
	color: #808080;
}

.sourcode {
	font-size: 10pt;
}

.input:focus {
	background-color: #ffffcc;
}

#page-container {
	margin: auto;
}

p.first:first-line {
	font-weight: bold;
}

#links {
	text-align: center;
	font-size: 85%;
	background: #f6f5ed;
	padding: 2px;
}

#ads {
	padding-top: 2em;
}

#bottomads {
	padding-bottom: 3em;
	text-align: center;
}

#leftbar {
	float: left;
	margin: 10px;
	width: 220px;
}

#rightbar {
	float: right;
	width: 165px;
	padding: 5px;
}

#menu {
	background: #cfcfae;
	border: 1px solid black;
	font-size: 85%;
	-moz-border-radius: 5%;
}

#menu ul {
	margin-left: 20px;
	padding: 0;
}

#menu li {
	margin-left: 3px;
}

#menu a {
	text-decoration: none;
}
#menu a:hover {
	background: #828f78;
}

#header {
/*	background: #828f78; */
	background-image: url('/images/banner_background.png');
	font-size: 120%;
	padding: 5px;
	font-family: Georgia, Times;
}

#content {
	margin-right: 180px;
	margin-left: 240px;
	margin-top: 10px;
/*	background: #ffffff; */
	padding: 10px;
/*	border: 1px dotted black; */
}

#content h2 {
	padding: 0;
	margin: 0;
	font-size: 120%;
	font-family: Georgia, Times, serif;
}

#footer {
	clear: both;
	font-family: Tahoma, Arial, Helvetica, Sans-serif;
	font-size: 10px;
	color: #c9c9c9;
	border-top: 1px solid #efefef;
	padding-right: 15px;
	margin-top: 15px;
	line-height: 18px;
}

#lastupdated {
	float: right;
}

.hidden {
	display: none;
}

.comment-even {
	background-color: #f6f5ed;
	padding-left: 3px;
}

.comment-odd {
	background-color: #cfcfae;
	padding-left: 3px;
}

.comment-name {
	font-weight: bold;
}

.comment-time {
	font-style: italic;
	font-weight: bold;
}

.comment-kyle {
	margin-left: 2em;
	font-style: italic;
}