body { margin: 0; padding: 0 60px 20px 0; font-size: medium; font-family: "Lucida Grande", Verdana, sans-serif; padding-left: 60px; line-height: 150%; }
	table { width: 80%; border-collapse: collapse; margin-bottom: 20px; }
	th, td { vertical-align: top; padding: 10px; border: 1px solid gray; font-family: Georgia, serif; }
	caption { padding: 10px; font-family: Georgia, serif; }
	table th { background-color: #eee; }

td.ranking { width: 2em; text-align: right; background-color: #eee; font-weight: bold; }


code, div.html { display: block; padding: 15px; margin: 0 30px 0 0; background-color: #ff9; border-left: 4px solid #C00;  line-height: 140%; }

div.html strong, p.strong { color: #C00; font-weight: bold; }

span.html, p.html { color: #03C; font-family: Monaco, Courier; }

h1 span.html  { font-family: inherit; }
div.html { line-height: 140%; margin-bottom: .5em; }

div.html p { margin: .5em 0; padding: 0; }


div.html + table, table + div.html { margin-top: 2em; }


.attn {  background-color: #ff9; padding: 0 2px; font-weight: bold; color: #C00; }

.indent { margin-left: 20px; }
.subindent { margin-left: 50px; margin-top: 0; }
.tripindent { margin-left: 80px; margin-top: 0; }

.example {  display: table; padding: 10px 20px 20px; margin-top: 5px; background-color: #DFF4FF; border: 1px solid #B5D1DF;}
.onwhite {  display: table; padding: 10px 20px 20px; margin-top: 5px; background-color: #fff; border: 1px solid #ddd;}

h1, h2, h3, h4 { margin-left: -40px;}
h1 { margin-bottom: 1em; }

h2 { margin-top: 30px; margin-bottom: 10px;}

p { margin-top: 0; padding-top: 0; }


.highlight { background-color: #ff9; }

.dim { color: #999; }

h2.dim { clear: left; font-size: 100%; margin-top: 6px; padding-top: 0;   }


div.banner
{
	padding: 10px;
	background-color: black;
	color: white;
	font-family: Georgia, serif;
	font-size: x-large;
	height: 1.1em;
	overflow: hidden;
	margin-left: -60px;
	margin-right: -60px;
	margin-bottom: 30px;
	padding-left: 20px;
	
}




div.banner p { float: left; display:inline; margin:0; padding:0; }
div.banner p#nav { float: right; color: #999; }
div.banner p#nav a, div.banner p#nav a:visited { font-size: 120%; font-weight: bold; color: #fff; padding: 0 6px 0 9px; text-decoration: none;  }