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;}