body {
	font-family: sans-serif;
	color: black;
	background-color: #4b6983;
	font-size: medium;
	margin: 0;
	line-height: 1.3em;
}

div.header {
	padding-top: 6pt;
	padding-bottom: 6pt;
	/* background: #4b6983;
	color: white; */
	text-align: center;
	font-size: x-large;
}

div.backlink {
	float: right;
	text-align: right;
	font-size: small;
}


div.main {
	margin: 0 auto 0 auto;
	max-width: 50em;
	padding: 0.5em 20pt 1em 20pt;
	background: white;
}

div.footer {
	font-style: italic;
	opacity: 0.6;
	text-align: right;
}

h1 {
	font-size: x-large;
	background-color: #e2f4fd /*#d2e9ff*/;
	/*
	border-top: 1px solid #16C;
	border-left: 12px solid #16C;
	border-right: 12px solid #16C; */
	line-height: 1.5em;
	vertical-align: middle;
	padding: 0 10pt 0 10pt;
}

h2 {
	font-size: large;
	color: #2b8fc5;
	border-bottom: 1px solid #CCC;
}

h3 {
	color: #2080c0;
	margin-bottom: 0;
}

a {
	text-decoration: none;
	color: #4322FF;
}

a:hover {
	text-decoration :underline;
	color: #c00;
}

pre {
	border: 1px solid #99C;
	border-left: 6px solid #16C;
	display: block;
	font: normal 1.2em monospace;
	margin-bottom: 1em;
	padding: 0.7em 1em;
	white-space: pre;
	background: #eee;
	white-space: pre-wrap;
}

/*
tt {
	font: normal 1.2em monospace;
	padding: 0.1em 0.3em;
	background: white;
}
*/

img {
	margin-left: 1em;
	margin-right: 1em;
	margin-bottom: 1em;
}

/* to find the second td, we select "the TDs that come after another TD",
 * knowing there will be only two */
table.kvpairs td+td {
	padding-left: 2em;
}

span.note {
	color: #C00;
	font-weight: bold;
}