.title {
	width: 20%;
	vertical-align: top;
	text-align: right;
	padding-right: 10px;
	border-top: 1px solid black;
	border-right: 1px solid black;
	font-size: 150%;
	font-weight: bold;
}

.directory {
	color: #1369b2;
}

.example {
	background: #a4b1e7;
	margin: 20px 40px 20px 40px;
	padding-left: 20px;
	padding-right: 20px;
	border: 1px solid black;
}

.section {
	width: 70%;
	margin: 0 auto 0 auto;
}

.details {
	padding-left: 10px;
}