Miscellany

div.heading {
	padding-right: 10px;
	border: 1px solid gray;
	border-width: 0px 15px 4px 0px;
	margin-left: 10%;
}

div.body {
	padding-right: 40px;
	border: 1px solid gray;
	border-top-width: 0px;
	margin-left: 15%;
	font-size: 1.2em;
}