body { 
    margin: 0px;
    padding: 0px;
}
a,a:visited {
	color: #336633;
}
a:hover {
	color: #003300;
}

p,body {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    text-align: justify;
    font-size: 10pt;
}

h1 {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 12pt;
	line-height: 1.0;
	text-align: left;
}

td,th {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 10pt;
}
#banner {
	padding: 0px 0px 0px 10px; 
}

#banner img {
	text-decoration: none;
}

img.logo {
	border: 0px;
	padding: 0px 3px;
	width: 181px;
	height: 94px;
}

img.sflogo {
	border: 0px;
	padding: 4px;
	width: 88px;
	height: 31px;
}

img.sponsors {
	border: 0px;
	margin-right: 10px;
}

img.logo {
	border: 0px;
	padding: 0px 3px;
	width: 181px;
	height: 94px;
}

img.sflogo {
	border: 0px;
	padding: 4px;
	width: 88px;
	height: 31px;
}

img.sponsors {
	border: 0px;
	margin-right: 10px;
}

#searchform{
	float: right;
	font-size: 7pt;
	font-family:Verdana, Arial, Helvetica, sans-serif;
}
#searchbutton{
	background-color: #CBEEBB;	/* light green */
	font-family:Verdana, Arial, Helvetica, sans-serif;
	border-width: 1px;
	font-size: 10px;
	padding: 0;
}
#searchvalue{
	font-family:Verdana, Arial, Helvetica, sans-serif;
	border: #CBEEBB 1px solid;
	font-size: 10px;
}

#navigation{
	float:	right;
	font-size: 8pt;
	font-family:Verdana, Arial, Helvetica, sans-serif;
	margin-bottom: 3px;
}

td.topmenu-ruler {
	background-color: #5662A0;  /* blue */
}

#navigation a {
	padding: 4px 5px 1px 5px;
	text-decoration: none; 
}

#navigation a:focus {
	color: #FFFFFF;	/* white */
	background-color: #5662A0; /* blue */
}
#navigation a:hover {
	color: #FFFFFF;	/* white */
	background-color: #BCD2ED; /* light blue */
}

/*
span.current {
}
*/

/* what to do with the  selected one */
#navigation span.current a {
	color: #000000;	/* black */
	background-color: #BCD2ED; /* light blue */
}

#navigation span.current a:hover {
	color: #FFFFFF;
	background-color: #5662A0; 
}

/*
span.submenu {
}
*/

#navigation span.submenu a {
	background-color: #CBEEBB; /* light green */
}

/* this should be inherited IMHO, but it doesn't so we just redefine it */
#navigation span.submenu a:hover {
	/* background-color: #9FB0DB; */
	color: #FFFFFF;
	background-color: #5662A0;  /* dark blue */
}

#navigation  span.downloadButton a {
	padding: 4px 5px 1px 5px;
	color: #000000;
	background-color: #FFCC66; /* orange */
}

#navigation  span.downloadButton a:hover {
	color: #FFFFFF;
	background-color: #5662A0; /* dark blue */
}

td.content {
	padding: 3px 0px 5px 2px;
}

div.header {
	padding: 0px;
	margin-left: 196px;
	margin-right: 10%;
}


td.sidebar{
	font-size: 8pt;
}

div.sidebar-a {
	float: left;
/*	width: 186px; */
	margin: 0px 0px 0px 5px;
	font-size: 8pt;
}

div.sidebar-b { 
	float: right;
/*	width: 186px; */
	margin: 0px 0px 0px 5px;
	font-size: 8pt;
}
span.sponsorsheading {
	font-size: 13pt;
}

div.sidebar-c {
	position:relative:
	left: 0px;
	width: 100pt;
	margin: -45 0px 0px 40px;
	padding: 0px;
	font-size: 7pt;
}

td.footer-a {
	margin-top: 5px;
	padding: 5px;
	font-size: 7pt;
	background-color: #CBEEBB; /* light green*/
}

td.footer-b {
	margin-top: 5px;
	padding: 5px;
	font-size: 7pt;
	background-color: #CBEEBB; /* light green*/
}

div.footer-a {
	margin-top: 5px;
	float: left;
/*	width: 186px; */
	padding: 5px;
	font-size: 7pt;
	background-color: #CBEEBB; /* light green*/
	/* background-color: #ecedbb; mauve */
}

td.footer-a a {
	margin: 5px;
	text-decoration: none; 
}

div.footer-b {
	margin-top: 5px;
	margin-left: 186px;
	margin-right:10%;
	padding: 5px;
	background-color: #CBEEBB;	/* light green */
	/* background-color: #ecedbb; mauve */
	/* background-color: #A9CC99; dark green */
	font-size: 7pt;
}

td.footer-b a {
	margin: 5px;
	padding: 2px 3px;
	text-decoration: none; 
}
td.footer-b a:focus {
	background-color: #6699CC;  /* dark blue */
}
td.footer-b a:hover {
	color: #FFFFFF;
	background-color: #5662A0; 
}
td.footer-b img {
	border: 0px;
	vertical-align: bottom;
	text-decoration: none; 
}

div.note {
	border: 1px solid #666699;
	background-color: #E7E7E7; 
	margin: 20px 0px 0px 10px;
	padding: 5px 5px 5px 5px;
	width:160px;
}
div.note a{
	color: #cc0000; 
}
div.note p{
	font-size:.8em;
}
div.note h2{
	margin-top:-5px;
	margin-bottom: 5px;
	font-size:1.5em;
	color:#cc0000;
}
div.noerror{
	color:#cc0000;
}
div.error{
	color:#cc0000;
}

div.submenu-b {
	text-align: left;
	/* border: 1px solid #666699;*/
	/* background-color: #CBEEBB;*/
/*	margin: 3px 0px; */
/*	padding: 5px 15px 5px 5px;*/
	width: 181px;
}

div.submenu-b a {
	text-decoration: none; 
	display: block;
	padding: 1px 2px;
	color: #000000;
	/*background-color: #A9CC99; */
	background-color: #CBEEBB; /* ligth green*/
	/* background-color: #ecedbb; mauve */
}

div.submenu-b a:hover {
	background-color: #BCD2ED; /* light blue */
}

div.submenu-b ul {
	padding: 1px 0px 1px 0px;
	margin: 0px;
}

div.submenu-b li {
	list-style: none;
	padding: 1px 0px 0px 6px;
}

div.submenu-b span.heading {
	font-size: 13pt;
}

div.submenu {
	text-align: left;
/*	margin: 3px 0px; */
/*	padding: 5px 15px 5px 5px;*/
	width: 181px;
}

/* explorer you might need this: _width: 100%;*/
div.submenu a {
	text-decoration: none; 
	display: block;
	padding: 1px 2px;
}

div.submenu ul {
	padding: 1px 0px 1px 0px;
	margin: 0px;
}

div.submenu li {
	list-style: none;
	padding: 1px 0px 0px 6px;
}

div.submenu span.submenu a {
	color: #000000;
	background-color: #BCD2ED; /* light blue */
}

/* this should be inherited IMHO, but it doesn't so we just redefine it */
div.submenu span.submenu a:hover {
	background-color: #CBEEBB;	/* light green */
}

div.submenu span.current a {
	background-color: #CBEEBB;	/* light green */
}

/* this should be inherited IMHO, but it doesn't so we just redefine it */
div.submenu span.current a:hover {
	background-color: #CBEEBB;	/* light green */
}

code {
    	font-family:monospace;
}
.verbatim {
    	font-family:monospace;
}
pre.code {
	border: 1px solid Black;
	padding: 4px;
	font-family: monospace;
	overflow: auto;
}
.authors {
	font-size: smaller;
	font-style: italic;
}