body{
	font-size:85%;
	border-top:none;
}

.noborder {
    border-top:none;
}

pre {
    margin-bottom: 1.5em;
}

.code {
    padding: 0.5em;
}