h6 {
	font-family: "Times New Roman", Times, serif;
	font-size: 36px;
	font-style: normal;
	font-weight: 200;
	color: #000000;
	margin: 0px;
	padding: 0px 0px 0px 6pt;
}
h1 {
	font-family: "Times New Roman", Times, serif;
	font-size: 22px;
	font-style: bold;
	color: #000000;
	margin: 0px;
	padding: 0px 0px 0px 6pt;
}

a:link {
	font-family: Arial, Helvetica, sans-serif;
	text-decoration: none;
	font-size: 14px;
	color: #000066;
}
a:visited {
	font-family: Arial, Helvetica, sans-serif;
	text-decoration: none;
	font-size: 14px;
	color: #000066;

}
a:active {
	font-family: Arial, Helvetica, sans-serif;
	text-decoration: none;
	font-size: 14px;
	color: #000066;

}
a:hover {
	font-family: Arial, Helvetica, sans-serif;
	text-decoration: underline;
	font-size: 14px;
	color: #000066;
}
div.deprecated-example {

	width: 22%;
   color: black;

    border: solid rgb(0,0,0);

}