dl {
	color: black;
}
dt {
	font-weight: bold;
	margin: 0.5em 0 0 0;
}
dd {
	margin: 0 0 0 1em;
}
h3 {
	border-bottom: solid #333333 1px;
}
h2 {
	border-bottom: double #333333 3px;
}
ul.quicklinks {
	padding: 0;
	margin: 0.5em 0 1em 0;
}
ul.quicklinks li {
	display: block;
	float: left;
	margin: 0 0.5em 0 0;
	padding: 0;
}
div.doclist {
	border: solid #999999 1px;
	padding: 0 0.5em 0 0.5em;
	overflow: auto;
	height: 32em;
	margin: 0 0 -2em 0;
}
table.format_strings {
	border-collapse: collapse;
	width: 95%;
}
table.format_strings td, table.format_strings th {
	border: solid #333333 1px;
	padding: 2px;
}
table.format_strings th {
	background-color: #CCCCCC;
}