@import url(reset.css);


body
{
	font-family: Georgia, serif;
	font-size: 11pt;
}

a { color: #003366; }

p {
	margin-bottom: 1em;
	line-height: 1.5em;
}

p.further_readings {
	font-size: 92%;
	line-height: 1.25em;
}

p.further_readings a
{
	font-family: "Helvetica Neue", Helvetica, sans-serif;
	font-size: 100%;
	text-decoration: none;
}


div.header
{
	background-color: #FFFCE2;
	background-color: #FC6;
	background-color: #069;
	padding: 0.6em 2em 0.2em 2em;
	border-bottom: 2px solid #ccc;


}

div.leftrow
{
	float: left;
	width: 640px;
	padding: 0em 2em 2em 2em;
	margin-right: 1em;
	border-right: 1px dotted #ccc;
}

div.nav { 
	padding: 1em 0em 1em 0em; 
}

div.nav a
{
	font-family: "Helvetica Neue", Helvetica, sans-serif;
	font-size: 100%;
	text-decoration: none;
}

img.browserwindow
{
	display: block;
	border: 1px solid #ddd;
	margin: 0em auto 0em 0em;
}

.imgborder {
	border: 1px solid #ddd;
}

.overflow {
	overflow: auto;
}

h1, h2
{
	font-family: "Helvetica Neue", Helvetica, sans-serif;
	font-weight: normal;
	color: #000;
}

h1 {
	font-size: 127%;
	padding-top: 0.5em;
	padding-bottom: 1em;
}

h2
{
	font-size: 118%;
	padding-top: 0.5em;
	padding-bottom: 1.0em;
}

h3
{
	font-size: 92%;
	padding-bottom: 0.5em;
/*
	text-transform: uppercase;
	font-weight: bold;
*/
}

div.subnav { 
	padding: 1em 0em 2em 0em;
}

div.subnav ul li { padding-bottom: 0.4em; }

div.subnav a
{
	font-family: "Helvetica Neue", Helvetica, sans-serif;
	font-size: 92%;
	text-decoration: none;
}

ul.unordered
{
	padding: 0em 0em 1em 2em;	
	list-style-type: disc;
	line-height: 150%;
}


pre
{
	font-size: 92%;
	line-height: 1.1em;
	margin-bottom: 1em;
	padding-left: 1em;
}


pre.bbedit
{
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	border-top: 1px solid #D9D9D9;
	border-bottom: 1px solid #D9D9D9;
	background-color: #F6F6F6;
	background-color: #FFF5B5;
}

div.left_float_image
{
	float: left;
	font-size: 92%;
	color: #666;
	line-height: 100%;
	margin: 0.3em 1.2em 1em 0em;
}

table
{
	border-bottom: 1px solid #666;
	font-size: 92%;
	margin: 0em auto 1em auto;

}

td
{
	line-height: 100%;
	padding: 0.2em 0em 0.2em 0em;
	vertical-align: top;
}

td + td { padding-left: 1em; }

table.benchmark th + th {
	padding-left: 3em;
}

table.benchmark td + td {
	text-align: right;
}

table th
{
	border-bottom: 1px solid #666;
	text-align: left;
}

form p {
	margin-bottom: 0.2em;
	color: #333;
}

form input.text {
	width: 35em;
	border: 1px solid #ccc;
	padding: 0.2em;
	margin-bottom: 1em;
}

form textarea {
	width: 30em;
	border: 1px solid #ccc;
	padding: 0.2em;
	margin-bottom: 1em;
}

img.stamp {
	float: right;
}

div.footernav
{
	clear: both;
	font-family: "Helvetica Neue", Helvetica, sans-serif;
	font-size: 83%;
	color: #aaa;
	border-top: 2px solid #ccc;
	padding: 0.6em 2em 2em 2.2em;
}

div.footernav a
{
	color: #aaa;
	text-decoration: none;
}

pre.masthead
{
	background-color: white;
	border: none;
}

pre.masthead span {
    display: none;
}

div.download img {
    display: block;
    float: left;
}

div.download p {
    margin-left: 60px;
}

table.history {
    font-family: courier, mono-space;
    font-size: 100%;
    margin: 0.5em 0em 0em 0em;
    border: none;
}