<?xml version="1.0"?>
<style>
img {
	max-width: 100%;
	width: auto;
	height: auto;
	align: middle;
}

html body {
	margin: 1em 8% 1em 10%;
	font: normal 100% sans-serif;
	line-height: 1.5;
}

dl {
	margin: .4em 0 0 0;
	line-height: 1.2;
}

dt {
	font-weight: normal;
	margin: 0.4em 0 0 0;
}

div.table p b {
	color: #990000;
}

div.navheader th {
	color: #ffffff;
}

h1.title, h2.title, h3.title, h4.title, h5.title, h6.title {
	font-weight: bold;
	line-height: 1.3;
	margin-top: 1em;
	margin-left: 0;
	border: solid 3px #d2d3d7;
	background-color: #f5f6f7;
	color: #262626dd;
	width: 100%;
}

h3.subtitle {
	font: normal 100% sans-serif;
}

/* Suggestion: hoxp18: to avoid too small h4~h6 renderings */
h1.title { font-size: 150%; }
h2.title { font-size: 140%; }
h3.title { font-size: 120%; }
h4.title { font-size: 110%; }
h5.title { font-size: 100%; }
h6.title { font-size: 100%; }

body hr {
	margin: .6em;
	border-width: 0 0 1px 0;
	border-style: solid;
	border-color: white;
}

ol {
	margin: 0 0 0 1em;
	line-height: 1.2;
}

body pre {
	margin: .75em 0;
	font-family: monospace;
}

body td, body th {
	line-height: 1.2;
	padding-right: 1.5em;
}

ul, body dir, body menu {
	margin: 0 0 0 1em;
	line-height: 1.2;
}

html {
	margin: 0;
	padding: 0;
}

pre.screen {
	white-space: pre;
	overflow: auto;
	font-family: monospace;
	border: solid 1px #d2d3d7;
	background-color: #f5f6f7;
	padding: 4px;
	margin: 1em;
	margin-left: 2em;
}
</style>
