body	{
	margin-left: 5%;
	margin-right: 5%;
	padding: 0;
	font-family: Arial, sans-serif;
	font-size: 10pt;
	}
div, p, th, td, li, dd, dl, dt {
             /* redundant selectors to help NS4 not forget */
    font-family:  Arial, sans-serif;
	font-size: 10pt;
    }
a	{
	text-decoration: underline;
	}
a:link	{
	color: #dc143c;
	background-color: transparent;
	}
a:visited	{
	color: #dc143c;
	background-color: transparent;
	}
a:active	{
	color: #dc143c;
	background-color: transparent;
	}
a:hover	{
	color: #cd5c5c;
	background-color: transparent;
	text-decoration: underline;
	font-weight: bold;
	}
pre { font-family: monospace; }

div.dotted {
	background-color: #F5F5F5;
/*	background-image:url("img/navbg.gif"); */
	border: dotted;
	border-width: thin;
	font-family: Arial, sans-serif;
	font-size: 10pt;
	padding: 3;
	width: 610px;
	text-align:left;
	}
div.dashed {
	background-color: #F5F5F5;
/*	background-image:url("img/navbg.gif"); */
	border: dashed;
	border-width: thin;
	padding: 0;
	width: 605px;
	text-align:left;
	}
div.outset {
	background-color: #F5F5F5;
/*	background-image:url("img/navbg.gif"); */
	border: outset;
	border-width: thin;
	padding: 5;
	width: 600px;
	text-align:left;
	}
div.outset_in {
	background-color: #F5F5F5;
/*	background-image:url("img/navbg.gif"); */
	border: outset;
	border-width: thin;
	padding: 5;
	width: 595px;
	text-align:left;
	}
div.inset {
	background-color: #F5F5F5;
/*	background-image:url("img/navbg.gif"); */
	border: inset;
	border-width: thin;
	padding: 5;
	width: 600px;
	text-align:left;
	}
/* dotted, dashed, solid, double, groove, ridge, inset, outset */

h1,h2,h3,h4,h5,p,ul {
	font-family: Arial, sans-serif;
	}
/* <h2 class="subsection">Getting started</h2> */
h2.one {
	color: #D2691E;
	font-size: 150%;
	}