body {
	margin:0px;
	padding:0px;
	font-family:verdana, arial, helvetica, sans-serif; 
	color:#333;
	background-color:white;
	}
pre {
  background: #eeeeee;
  border: 1px solid #888888;
  color: black;
  padding: 1em;
  white-space: pre;
}
h1 {
	margin:5px 0px 5px 0px;
	padding:0px;
	font-size:20px;
	line-height:28px;
	font-weight:900;
	color:#44f;
	}
h2 {
	margin:5px 0px 5px 0px;
	padding:0px;
	font-size:17px;
	line-height:28px;
	font-weight:900;
	color:#226;
	}
h3 {
	margin:5px 0px 5px 0px;
	padding:0px;
	font-size:15px;
	line-height:28px;
	font-weight:900;
	}
p
{
	margin:0px 0px 16px 0px;
	font:11px/20px verdana, arial, helvetica, sans-serif;
	padding:0px;
}
table 
{
    font-size: 10pt; 
	color: #000000;
}
td{border:1px solid #999;}

table.pymenu {color: #000000; background-color: #99ccff}
th.pymenu {color: #ffffff; background-color: #003366}

.code 
{
	font-family: "Lucida Console", monospace; font-weight: bold;
	color: #007700; background-color: #eeeeee
}

#Content>p {margin:0px;}
#Content>p+p {text-indent:30px;}

a {
	text-decoration:none;
	font-weight:600;
	font-family:verdana, arial, helvetica, sans-serif;
	color: #900;
}
//a:link {color:#09c;}
//a x:visited {color:#07a;}
a:hover {background-color:#ee0;}

#Header {
	margin:10px 0px 10px 0px;
	padding:10px 0px 10px 20px;
	/* For IE5/Win's benefit height = [correct height] + [top padding] + [top and bottom border widths] */
	height:33px; /* 14px + 17px + 2px = 33px */
	border-style:solid;
	border-color:black;
	border-width:1px 0px; /* top and bottom borders: 1px; left and right borders: 0px */
	line-height:33px;
	background-color:#eee;
	height:66px; /* the correct height */
	}

#Content {
	margin:0px 210px 50px 10px;
	padding:10px;
	}

#Menu {
	position:absolute;
	top:100px;
	right:20px;
	width:172px;
	padding:10px;
	background-color:#eee;
	border:1px solid #999; // dashed #999;
	line-height:17px;
	width:150px;
	font-size:11px;
	}