code {
	border: none;
}

pre {
	border-style: solid;
	font-size: 95%;
}

table.listing tbody tr td{
	vertical-align: top;
	padding-bottom: 1em;
	

}

table.listing tbody tr {
	border-bottom: 1px solid gray;
}

div#toc {

	border: 1px solid #ccc;
	padding: 1em;
	background-color: #eaeaea;

}

div#toc > div {
	padding: 5px;
}