body {
	background: url("bg.jpg");
	padding-left: 14em;
	padding-right: 1em;
}

a:link		{ color: #00e; }
a:active	{ color: #f00; }
a:visited	{ color: #551a8b; }

/* Images */
img {
	display: block;
	border: 0;
	padding: 1ex;
}

/* Tables */
div#quick-links td {
	text-align: center;
	border: solid black 1px;
}
div#quick-links th {
	border: solid black 1px;
}

h1, h2, h3 {
	font-family: Helvetica, sans-serif;
	margin: 0;
}

h3 {
	font-style: oblique;
}

div.head h1, div.head h2 {
	text-align: center;
	padding-left: 80px;
}

div.left {
	position: absolute; /* For Internet Exploder */
	width: 11em; height: auto;
	top: 8px; bottom: 8px; left: 8px; right: auto;
	background: #fec;
}

body > div.left {
        position: fixed; /* For Real Browsers */
}

div.left h1 {
	font-size: 12pt;
	text-align: center;
}

div.left h2 {
        margin: 0; margin-top: 4pt;
	font-size: 10pt; font-weight: bold;
	text-align: left;
}

div.left h3 {
        margin: 0;
	margin-left: 1em;
	font-size: 8pt; font-weight: normal;
	text-align: left;
}

/* r2w produces "section" class divs. I've always used "box". We treat
them identically... maybe they should be rammed together? */

div.box, div.section {
	background-color: #fec;
	border-style: solid;
	border-width: 3px;
	border-left-color: #a99; /* rgb(160,152,144); */
	border-top-color: #a99; /* rgb(160,152,144); */
	border-right-color: #dcc; /* rgb(219,205,195); */
	border-bottom-color: #dcc; /* rgb(219,205,195); */
	padding: 8px;

	/* Paul O'Brien / Alex Walker's amazing float clearing code */
	overflow: hidden;
}

/* Bit of nonsense to make IE6 use hasLayout on div.box */
* html div.box, * html div.section {
	height: 1%;
}

dt {
	font-weight: bold;
}

/* The catalogue. */
p.bodynav {
	font-family: sans-serif;
	font-size: large;
}

p.right {
	text-align: right;
}

p.indent {
	margin-left: 5em;
}

tr.summary {
	background-color: #eee;
}

tr.summary p {
	font-family: sans-serif;
	font-size: small;
	margin: 0;
}

p.summary {
	font-family: sans-serif;
	margin: 0;
}

tr.odd {
	background-color: #edb;
}

/* The links list. Some fairly random numbers here, especially 3.5ex!
Looks lovely in Mozilla, but what about IE? */
span.button {
	font-weight: bold;
	background-color: #dca;
	border: 1px solid #ba8;
	padding-left: 2px;
	padding-right: 2px;
	line-height: 3.5ex;
	cursor: pointer;
}

div.galleft {
	clear: left; float: left;
	width: 48%;
}

div.galleft > a {
	float: left; margin-right: 1em;
}

div.galright {
	clear: right; float: right; text-align: right;
	width: 48%;
}

div.galright > a {
	float: right; margin-left: 1em;
}

/* Stuff for dealing with rest2web output. */

*.align-center {
	margin-left: auto;
	margin-right: auto;
}

*.align-left {
	float: left;
}

*.align-right {
	float: right;
}

div.nav ul {
	list-style: none;
	padding-left: 7px;
	margin-left: 0;
	border-left: 1px solid black;
	font-family: sans-serif;
}

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

div.nav li {
	border-top: 1px solid #000;
	border-bottom: 1px solid #000;
	font-size: small;
}

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

div.nav li a {
	border-right: 7px solid #cb8;
}

div.nav li a:hover {
	border-right-color: #0f0;
}

div.nav li a {
	display: block;
	text-decoration: none;
}

div.crumbs li {
	float: left;
}

div.end {
	width: 19em;
	float: right;
}