.boxed{
	margin: 0;
	padding-left: 0.5em;
	border: solid 1px #000000;
	background: #cccccc;
	font-size:0.8em;
}

.keyword{
	font-weight: bolder;
	font-size: 150%;
	color: #cc0033;
}