/* CSS Document */



body {
	margin: 20px 25px 20px 25px;
	background-color: #fff;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 62.5%;
	line-height: 1.2;
	color: #333;
}
.demo {
	font-family: monospace;
	font-weight: normal;
	font-size: 110%;
	margin: 2em;
	padding: 2em;
	border: 1px solid gray;
	color: navy;
}

p {
	margin-top: 0em;
	margin-right: 0em;
	margin-bottom: 1em;
	margin-left: 0em;
	font-size: 1.4em;
}
h1 {
	margin: 0em 0em 1em 0em;
	font-size: 2.2em;
}
h2 {
	margin: 0em 0em .9em 0em;
	font-size: 1.8em;

}
h3 {
	font-size: 1.6em;
	color: #111111;
	font-style: italic;
	margin-top: 1.5em;
	margin-right: 0em;
	margin-bottom: 0.6em;
	margin-left: 0em;
}
h4 {
	font-size: 1.4em;
	color: #17365d;
}

.points {
	color: #aa2222;
	font-size: 0.88em;
	text-transform: none;
	font-style: italic;
	font-weight: bold;
}
.code

{
	font-family: monospace;
	font-size: 120%;
	color: #0000FF;

}

ul li {
	font-size: 1.4em;
	margin-bottom: 6px;
}

ol li {
	font-size: 1.4em;
	margin-bottom: 6px;
}
table {
	margin: 15px;
}
td, th {
	font-size: 1.4em;
	padding: 10px;
}