/*Want to learn about stylesheets? It can be found at http://www.mako4css.com/  


/*normal links in the text*/
a:link {
	background: transparent;
	color: #FFFFFF;
	text-decoration: none;
; font-family: Arial, Helvetica, sans-serif; font-size: 12px}

a:visited {
	background: transparent;
	color: #FFFFFF;
	text-decoration: none;
; font-family: Arial, Helvetica, sans-serif; font-size: 12px}

a:hover {
	background: transparent;
	color: #000000;
	text-decoration: underline;
; font-family: Arial, Helvetica, sans-serif; font-size: 12px}

/*now follow the section links for the menu on the left*/        
a.nav:link {
	color: #666666;
	font-size: 12px;
	font-weight: normal;
	text-decoration: none;
	font-family: Arial, Helvetica, sans-serif;
}

a.nav:visited {
	color: #000000;
	font-size: 12px;
	font-weight: normal;
	text-decoration: none;
	font-family: Arial, Helvetica, sans-serif;
}

a.nav:hover {
	color: #000000;
	font-size: 12px;
	font-weight: normal;
	text-decoration: underline;
	font-family: Arial, Helvetica, sans-serif;
}
p ul{
	font-size: 12px;
; font-family: Arial, Helvetica, sans-serif}
ul{
	font-size: 12px;
; font-family: Arial, Helvetica, sans-serif}
/*font-family is already defined, here I only set the font-size*/
pre {
	background-color: #F7F7F7;
	border: 1px solid #000080;
	color: #000000;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px; /*here I define the HTML <pre> tag*/
	padding: 4px;
	white-space: pre;
}
/*and here the I prevent the incredible shrinking text*/
p { 	font-size: 12px;
; font-family: Arial, Helvetica, sans-serif } dl  { 	font-size: 12px;
; font-family: Arial, Helvetica, sans-serif } p dl { 	font-size: 12px;
; font-family: Arial, Helvetica, sans-serif } ol { 	font-size: 12px;
; font-family: Arial, Helvetica, sans-serif } 

p ol { font-family: Arial, Helvetica, sans-serif }

p ol { 	font-size: 12px;
 } ol ul  { font-family: Arial, Helvetica, sans-serif }ol ul  { 	font-size: 12px;
 } li {  color: #000000; text-decoration: none; line-height: normal; list-style-position: outside; text-align: left; text-indent: 0px; margin-top: 2px; margin-right: 2px; margin-bottom: 2px; margin-left: 2px; clip:      rect(   ); page-break-before: 0; page-break-after: 0; font-family: Arial, Helvetica, sans-serif; font-size: 12px; background-position: 0px 0px; word-spacing: 6px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; left: 0px; top: 0px; border-top-width: 0px; border-right-width: 0px; border-bottom-width: 0px; border-left-width: 0px; position: static; list-style-image: url(image_files/redsquare.gif)}