body {
	font-family: helvetica, arial, sans-serif;
}

div.code {
	margin: 1em;
	background-color: #eee;
	padding: 0.25em;
	border: 1px solid gray;
	font-family: monospace;
	white-space: pre;
}

ul.singlespace li {
	/*margin-top: 0;
	margin-bottom: 0;*/
	list-style-type: none;
}

.expando {
	display: none;
}

.expandIcon {
	text-decoration: none;
	background-color: #ffffcc;
	border: 1px solid black;
}

dfn {
	font-weight: bold;
	color: green;
	font-style: normal;
}

.centered {
	text-align: center;
}

.inset {
	margin-left: 1em;
	margin-right: 1em;
}

.bordered {
	border: 1px solid black;
	padding: 0.25em;
}
#top-navig {
	background-color: #ffc;
	padding: 0.25em;
}