body {
	margin: 0;
	padding: 0;
	background-color: #FFFFFF;
	color: #000000;
	font-family: Arial, Helvetica, sans-serif;
	border-top: 2px solid #2A4F6F;
}
#header {
	border-top: 1px solid #778899;
	border-bottom: 1px dotted #B2BCC6;
	height: 9em;
}

#xraylogo {
	margin-top: 0.5em;
    border: 1px solid #B2BCC6;
}

#crimelogo {
	margin-top: 0.5em;
        border: 1px solid #B2BCC6;
}

#lisplogo {
	margin-left: 2em;
	margin-top: 0.5em;
}

#homelogo {
	position: absolute;
	margin-left: 3em;
	margin-top: 0.5em;
}

#acculogo {
	margin-left: 3em;
	margin-top: 1.5em;
}

#nav {
	position: absolute;
	top: 9em;
	left: 1em;
	width: 14em;
}
#nav ul {
	list-style: none;
	margin-left: 1em;
	padding-left: 0;
}
#nav li {
	font-size: 80%;
	border-bottom: 1px dotted #B2BCC6;
	margin-bottom: 0.3em;
}
#nav a:link, #nav a:visited {
	text-decoration: none;
	color: #2A4F6F;
	background-color: transparent;
}
#nav a:hover {
	color: #778899;
}
#nav h2 {
	font: 110% Georgia, "Times New Roman", Times, serif;
	color: #2A4F6F;
	background-color: transparent;
	border-bottom: 1px dotted #cccccc;
}
#content {
	margin-left: 16em;
	margin-right: 2em;
}
h1 {
	font: 150% Georgia, "Times New Roman", Times, serif;
	/*padding-left: 0.5em;*/
}

h2 {
	font: 120% Georgia, "Times New Roman", Times, serif;
	/*padding-left: 0.5em;*/
}

h3 {
	font: 100% Georgia, "Times New Roman", Times, serif;
	/*padding-left: 0.5em;*/
}

.inlinecode{
	font-family: Courier, sans-serif;
	font-size: 90%;
}

.lispcode{
	font-family: Courier, sans-serif;
	font-size: 90%;
}

.modificationdate{
	font: 80% Georgia, "Times New Roman", Times, serif;
	padding-left: 1.1em;
}

#content p {
	font-size: 80%;
	line-height: 1.6em; 
	padding-left: 1.1em;
}

#content li {
	font-size: 80%;
	line-height: 1.6em; 
	padding-left: 1.1em;
}