/* CSS Document */

body {
	font-family: "Lucida Grande", Tahoma, Lucida, Verdana, Arial, sans-serif;
	margin: 2em 2em 2em 5em;
	background: white url(images/label.gif) no-repeat top left;
	background-attachment: fixed;
}
h1, h2, h3 {
	color: #369;
	font-weight: normal;
}
code {

}
dt {
	margin-top: 1em;
	font-style: italic;
}
dd {
	margin-top: 0.5em;
}
dl.info dt {
	font-style: normal;
	font-weight: bold;
}
span.define {
	border-bottom: dotted 1px #666;
	cursor: help;
}
div.example, blockquote.example {
	margin-left: 2em;
	color: #663333;
}
div.example a, blockquote.example a {
	color: #CC3300;
}
p.breadcrumbs {
	padding-bottom: 0.5em;
	border-bottom: groove 2px #666;
}
table.tablespecs th {
	vertical-align: bottom;
}
table.tablespecs tr:hover {
	background-color: #FF9;
}
table.tablespecs td, table.tablespecs th {
	padding: 0.2em 0.5em;
	border-bottom: solid 1px #999;
}



/* Table of contents */
	
	#toc {
		padding-left: 3em;
	}
	#toc ol {
		list-style: none;
		padding-left: 0;
	}
	#toc ol ol {
		margin: 1em 0 1em 3em;
	}
	#toc li {
		position: relative;
	}
	#toc li span {
		position: absolute;
		text-align: right;
		display: block;		
	}
	#toc li span {
		left: -6em;
		width: 5em;
	}
	#toc .chapters li li span, #toc .pages li span {
		left: -6em;
		width: 5em;	
	}
	#toc .pages li span {
		width: 5em;
	}

/*	Page contents */

	div.contents {
		padding: 1em;
		background-color: #CCC;
		border: solid 1px black;
	}
	div.contents h3 {
		color: black;
		font-weight: bold;
	}
	.contents ol ol ol {
		/* Don't display H4s, i.e. third-level headings. */
		display: none;
	}
