a:active {
	color: #66ff66  }
a:link {
	color: #6666ff  }
a:visited {
	color: #999966  }
body {
	color: black;
	font-size: 14px;
	font-family: Osaka, "Lucida Grande", Arial, sans-serif;
	background-color: white   ;
	padding-top: 12px; }
h1 {
	font-weight: bold;
	font-size: 250%;
	font-family: Times, serif;
	margin-bottom: 1.5ex;
	padding-bottom: 0.5ex;
	border-bottom: thick solid gray  }
h2 {
	font-weight: bold;
	font-size: 130%;
	font-family: Osaka, "Lucida Grande", Arial, sans-serif;
	background-color: #f5f5f5;
	margin-right: 0;
	margin-left: 0;
	padding-top: 1ex;
	padding-bottom: 1ex;
	padding-left: 1ex;
	border-style: none none none solid;
	border-width: medium medium medium 8pt;
	border-color: gray  }
h3 {
	font-weight: bold;
	font-size: 110%  ; }
h4   {	margin-left: 1em }
p     {	line-height: 160%;
	margin-right: 1.5em;
	margin-left: 1.5em }
pre  {	margin-right: 4ex;
	margin-left: 4ex }
li  {
	line-height: 150% ;
	margin-top: 0.5em;
	margin-right: 1.5em;
	margin-bottom: 0.5em; }
#smartheader {
	background-color: #f2f2f2;
	position: fixed;
	margin-top: 0;
	margin-right: 0;
	margin-left: 0;
	padding-left: 10px;
	border-bottom: 1px solid #bfbfbf;
	top: 0;
	left: 0;
	width: 100%  ; }