body {
	font-family: Nimbus Sans L, sans-serif;
	font-size: 9.5pt;
	margin-top: 2pt;
	margin-bottom: 2pt;
	color: #000000;
	background-color: #FFFFFF;
}
pre, tt, code {
	font-family: Bitstream Vera Sans Mono, monospace;
	font-size: 10pt;
}
/* <hr>s seem to be asymmetrical with more space on the bottom; compensate */
.hr-top {
	margin-top: 4pt;
	margin-bottom: 2pt;
}
.hr-bottom {
	margin-top: 6pt;
	margin-bottom: 0pt;
}
.meta {
	font-size: 10pt;
	text-align: center;
	color: #606060;
	background-color: #FFFFFF;
}
p {
	margin-top: 6pt;
	margin-bottom: 6pt;
}
h1 {
	font-size: 20pt;
	font-weight: bold;
	text-align: left;
	margin-top: 6pt;
	margin-bottom: 6pt;
}
h2 {
	font-size: 16pt;
	font-weight: bold;
}
h2, .h2div {
	margin-top: 8pt;
	margin-bottom: 6pt;
}
/* Override the 12pt tt size for headings */
h1 tt {
	font-size: 18pt;
}
h2 tt {
	font-size: 15pt;
}
.top-link {
	font-size: 10pt;
	color: #606060;
	background-color: #FFFFFF;
	float: right;
}
h3 {
	font-size: 14pt;
	font-weight: normal;
	font-style: oblique;
	margin-top: 8pt;
	margin-bottom: 0pt;
}
ul {
	margin-top: 6pt;
	margin-bottom: 6pt;
}
li {
	margin-top: 3pt;
	margin-bottom: 3pt;
}
/* used in mirror/index.pc */
.t {
	margin: 0;
	padding: 0;
	border: 0;
	border-spacing: 0;
}
a[href]
{ color: #008000; background-color: #FFFFFF; }
a[href]:hover, a[href]:active
{ color: #00A000; background-color: #FFFFFF; }
.top-matter a[href]       , .bottom-matter a[href]
{ color: #209020; background-color: #FFFFFF; }
.top-matter a[href]:hover , .bottom-matter a[href]:hover ,
.top-matter a[href]:active, .bottom-matter a[href]:active
{ color: #20AC20; background-color: #FFFFFF; }
.a-lite {
	text-decoration: none;
}
td {
	padding: 2pt;
}
.display {
	margin-left: 32pt;
	margin-top: 2pt;
	margin-bottom: 2pt;
}
.note {
	text-align: center;
	font-size: 10pt;
}
/* Download tables */
.num-cell {
	text-align: right
}
/* meta, logicdes; typically contains an image */
.right-frame {
	float: right;
	border: medium ridge;
	margin: .3em;
	padding: .3em;
	text-align: center;
}