body {
	margin: 2px 12px 12px;
	font-size: 9pt;
	font-family: "Lucida Grande", Arial, sans-serif;
	line-height: 12pt;
}
p {
	font-size: 9pt;
	font-family: "Lucida Grande", Arial, sans-serif;
	line-height: 12pt;
}
table {
	border: 1px solid #1F1F1F;
	border-collapse: collapse;
}
td {
	border: 1px solid #1F1F1F;
	padding: 1px 5px 1px 5px;
}
th {
	border: 1px solid #1F1F1F;
	padding: 1px 5px 1px 5px;
}
.example {
	color: #008000;
	font-weight: bold;
}
.bigheader {
	font-size: 20pt;
	font-family: "Lucida Grande", Arial, sans-serif;
}
DIV.example {
	background: #F7FCF7;
	border: 1px solid #C0D7C0;
	margin: 1.3em 3em;
	padding: 0.3em 0.6em;
	font-size: 8pt;
	font-family: Verdana, Courier, sans-serif;
}
h1 {
	font-size: 11pt;
	font-family: "Lucida Grande", Arial, sans-serif;
	padding-left: 38px;
	padding-top: 0px;
}
h4 {
	font-size: 9pt;
	font-family: "Lucida Grande", Arial, sans-serif;
	margin-top: 0;
	margin-bottom: -10px
}
#indexblock {
	border: 0px;
	padding: 0px;
}
#applicationicon {
	margin-top: 3px;
	margin-bottom: -3px;
	margin-right: 5px;
	float: left;
}
.header{
	border: 1px solid #CCCCCC;
}
.headerlinks {
	padding: 7px;
	background-color: #CCCCCC;
	border: 0px solid #FF0000;
	font-size: 120%;
}
kbd {
	font-family: verdana;
}
blockquote {
	font-family: verdana;
}
code {
	font-family: verdana;
}