body {
	color: black;
	background: white url(http://cdn.deadnode.org/1318a51d1a358a1aa49ccabaa7f48fad/header.jpeg) no-repeat;
	text-align: justify;
	margin: 250px 10px 10px;
}

th, td { /* ns 4 */
	font-family: sans-serif;
}

h1, h2, h3, h4, h5, h6 { text-align: left; }
/* background should be transparent, but WebTV has a bug */
h1, h2, h3 { color: #005A9C; background: white }
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
h3 { font: 120% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }

hr { clear: both; }
.hide { display: none }

div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }

p.copyright { font-size: small }
p.copyright small { font-size: small }

@media screen {  /* hide from IE3 */
	a[href]:hover { background: #ffa }
}

dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
dt { font-weight: bold }

p.tt {
	display: block;
	margin: 10px;
}
p.tt, tt {
	font-family: "Lucida Console", Courier, monospace;
	color: black;
	background-color: #bbb;
}

pre, code { font-family: monospace } /* navigator 4 requires this */

ul.toc {
	list-style: disc;		/* Mac NS has problem with 'none' */
	list-style: none;
	font-family: sans-serif;
	padding: 0;
	margin: 0;
	text-align: left;
}
ul.toc li {
	border-top: 1px solid black;
}
ul.toc li a {
	text-decoration: none;
	display: block;
	padding: 5px;
}
li.menucurrent {
	font-weight: bold;
}
li.menuother {
	font-weight: normal;
}
li.menuother > ul {
	display: none;
}
div.shadow {
	float:left;
	display:block;
	background: url(http://cdn.deadnode.org/shadow.png) bottom right;
	margin-left: 10px;
	margin-top: 10px;
	margin-right: 10px;
}
div.shadowed {
	width: 200px;
	margin-right: 10px;
	margin-top: 0px;
	margin-left: 0px;
	margin-bottom: 10px;
	height: 100%;
	padding: 0;
	border-left: solid 1px black;
	background: white;
	background: url(http://cdn.deadnode.org/corner.gif) bottom right
}
div.shadow > div.shadowed {
	margin-top: -10px;
	margin-left: -10px;
	background: white;
	background: url(http://cdn.deadnode.org/corner.png) bottom right
}
div.main {
	margin-left: 220px;
}
p.code {
	color: black;
	background-color: #d3d3d3;
	font-family: sans-serif;
}
table {
	position: relative;
	top: 5px;
}
table, tr {
	border: none;
	padding: 0;
	border-collapse: collapse;
	table-layout: fixed;
}
td, th {
	border: 1px solid black;
	padding: 3px;
	border-collapse: collapse;
}
table.bare, table.bare tr, table.bare th, table.bare td {
	border: none;
	padding: 3px;
	border-collapse: collapse;
}