body {
	margin: 10px;
}

body, p, td {
	font-family: Arial;
	font-size: 12px;
}

.toc a {
	text-decoration: none;
}


.toc a:hover {
	text-decoration: underline;
}

.title {
	font-size: 16px;
	font-weight: bold;
}

.section {
	color: blue;
	font-size: 13px;
	font-weight: bold;
	font-style: italic;
	margin: 20px 0px 10px 0px;
}

.example {
	margin-left: 30px;
}

.example .item {
	font-family: "Verdana";
	font-size: 11px;
	font-weight: bold;
	padding-right: 10px;
}

.warning {
	color: red;
}