h2 {
	padding: 2px;
	border: 2px solid #0000FF;
	background-color: #0066FF;
	color: #FFFFFF;
}
th {
	color: #FF0000;
	background-color: #FFFFCC;
}
.source {
	background-color: #CCFFFF;
	padding: 10px;
	border-top-width: thin;
	border-right-width: thin;
	border-bottom-width: thin;
	border-left-width: thin;
	border-top-style: solid;
	border-right-style: solid;
	border-bottom-style: solid;
	border-left-style: solid;
	margin-right: 20px;
	margin-left: 20px;
}
.example {
	padding: 10px;
	background-color: #FFFFCC;
	border: thin solid #000000;
	margin-right: 20px;
	margin-left: 20px;
}
h3 {
	border-bottom-style: solid;
	border-left-style: solid;
	border-top-color: #0000FF;
	border-right-color: #0000FF;
	border-bottom-color: #0000FF;
	border-left-color: #0000FF;
	padding-left: 5px;
	border-bottom-width: 2px;
	border-left-width: 5px;
	color: #0066FF;
}