DIV.box {
	margin-left: 2em ;
	margin-right: 2em ;

	background-color: #D0F8D0;
	padding: 0.5em 0.5em 0.5em 0.5em;
	line-height: 120%;
}
H2 {
	background-color: #D0F8D0;
	padding: 0.2em 0.2em 0.2em 0.2em;
	font-weight: bold;
	border-color: #F5FFF5 #B0E0B0 #B0E0B0 #F5FFF5;
	border-style: solid;
	border-width: 4px;
}
.syntax {
	padding: 0.5em 0.5em 0.5em 0.5em;
	margin: 0em 0em 1em 2em ;
	background-color: #F0F0F0;
	font-weight: bold;
	line-height: 120%;
}
PRE, DIV.example {
	padding: 0.5em 0.5em 0.5em 0.5em;

	background-color: #FFF0F0;
	line-height: 120%;
}