body {
	background: white;
	font-family: eurostile, sans-serif;
	line-height: 150%;
        padding-left: 200px;
        padding-right: 8px;
}


/* For pixie documents, we have an explicit div.box around the
contents of each page, so we don't want any special marking of
sections. */

div.section { 
	border: 0;
	padding: 0;
	background-color: inherit;
}

img#icon {
	position: absolute;
	left: 8px; top: 8px;
}

*.align-center {
	text-align: center;
}

div.box {
	background: #fff;
}

div#main {
	padding-left: 16px;
}

h1 {
	margin-top: 0;
}


div.left {
	position: absolute;
	width: 200px; height: auto;
	top: 216px; left: 8px;
	border-right: 5px double #777;
	padding-top: 8px;
}

div.left h1 {
	text-align: center;
}

div.left ul {
	font-family: eurostile, sans-serif;
        list-style: none;
        padding-left: 16px;
        margin-left: 0;
}

div.left ul.wrapper,
div.left ul.wrapper > li > ul {
        padding-left: 0;
        margin-left: 0;
        border-left: 0;
}

div.left li {
	font-size: small;
	height: 1%; # bit of nonsense for IE6
}

div.left li.navdir, div.left li.navcur {
        font-size: medium;
        font-weight: bold;
}

div.left li a {
        display: block;
}

a img {
	border: 0;
}

a {
        text-decoration: none;
	color: #00f;
}

a:visited {
	color: #707;
}

a:hover {
	text-decoration: underline;
}

div.end {
	border-top: 5px double #777;
	border-left: 0;
	width: 19em;
	margin-right: auto;
	margin-left: auto;
	padding: 8px;
	margin-bottom: 8px;
	margin-top: 24px;
	color: #444;
}