@charset "utf-8";
body {
	font-family: Verdana, Geneva, sans-serif;
	margin: 0px;
	padding: 20px;
	color: #000;
	background-color: #FFF;
}
img {
	border-top-style: none;
	border-right-style: none;
	border-bottom-style: none;
	border-left-style: none;
}
body > div > div {
	border-left-width: 150px;
	border-left-style: solid;
	border-left-color: #F6F6F6;
	padding-right: 12px;
	padding-left: 12px;
	padding-top: 1px; /* required by all browsers to avoid gap between h2 and div */
	padding-bottom: 1px; /* required by all browsers to avoid gap between div and h2 */
	position: relative; /* required to use absolute positioning for h3 */
}
div > div.toc {
	background-color: #F6F6F6;
	background-image: url(../img/2x20_panel_white.gif);
	background-repeat: repeat-y;
	zoom: 1; /* required by IE to position background-image not underneath border */
}
div > div.toc ul {
	font-size: 0.8em;
}
div > div.toc a {
	text-decoration: none;
}
div > div.toc a:hover {
	text-decoration: underline;
}
ul {
	margin-top: 10px;
	margin-bottom: 10px;
}
ul.programlisting {
	font-size: 0.8em;
	border: 1px solid #F6F6F6;
	color: #000;
	background-color: #FFFFDD;
	margin-top: 3px;
	margin-bottom: 0px;
	margin-left: 0px;
	padding-top: 3px;
	padding-right: 5px;
	padding-bottom: 3px;
	padding-left: 5px;
}
ul.programlisting li {
	display: inline;
}
ul.programlisting li:before {
	content: '| ';
}
ul.programlisting li:first-child:before {
	content: '';
}
ol {
	margin-top: 10px;
	margin-bottom: 10px;
	font-size: 0.8em; /* required by all browser to adapt font size of item numbers */
}
ol p {
	font-size: 1em; /* required by all browsers to adapt font size of paragraphs in ordered lists */
}
ol pre.programlisting {
	font-size: 1.0em; /* required by IE to adapt font size of programlistings in ordered lists; doesn't help for Firefox though */
}
p {
	font-size: 0.8em;
	margin-top: 10px;
	margin-bottom: 10px;
}
h1 {
	font-size: 2.4em;
	color: #666699;
	font-weight: normal;
	margin-top: 0px;
	margin-bottom: 0px;
}
h1 small {
	font-size: 0.8em;
	color: #CCCCCC;
}
h2 {
	font-size: 0.8em;
	font-weight: bold;
	background-color: #F6F6F6;
	padding-top: 5px;
	padding-right: 10px;
	padding-bottom: 5px;
	padding-left: 10px;
	margin-top: 0px;
	margin-bottom: 2px;
}
h3 {
	font-size: 0.7em;
	font-weight: normal;
	position: absolute; /* absolute positioning relative to div container */
	left: -150px;
	width: 130px;
	margin: 0px;
	padding-right: 10px;
	padding-left: 10px;
	padding-top: 12px;
	padding-bottom: 12px;
	word-wrap: break-word; /* CSS3 property currently only supported by IE */
}
hr {
	border: 1px solid #DDDDDD;
}
hr.hrhead {
	border: 1px solid #000;
	clear: both;
}
pre.programlisting {
	color: #0000FF;
	background-color: #F6F6FF;
	padding: 5px;
	margin: 0px; /* required by IE which shows a gap if programlisting is last in sect1 */
	border: 1px solid #E0E0FF;
	overflow: auto;
}
pre.literallayout {
	color: #000;
	background-color: #DDFFDD;
	padding: 5px;
	margin: 0px; /* required by IE which shows a gap if literallayout is last in sect1 */
	border: 1px solid #CCFFCC;
	overflow: auto;
}
pre.screen {
	color: #000;
	background-color: #DDFFDD;
	padding: 5px;
	margin: 0px; /* required by IE which shows a gap if literallayout is last in sect1 */
	border: 1px solid #CCFFCC;
	overflow: auto;
}
p.author, p.title {
	font-weight: bold;
	letter-spacing: 0.2em;
	margin-top: 0px;
	margin-bottom: 6px;
	float: left;
}
p.author a {
	color: #000;
	text-decoration: none;
}
p.author a:hover {
	text-decoration: underline;
}
form.toc, p.toc {
	float: right;
	margin-top: 0px;
	margin-bottom: 6px;
}
form.toc select {
	font-family: Verdana, Geneva, sans-serif;
	font-size: 0.7em;
	color: #0000FF;
}
p.date { /* used by articles only */
	float: right;
	margin-top: 0px;
	margin-bottom: 6px;
	font-weight: bold;
}
p.license {
	background-color: #DDFFDD;
	border: 1px solid #CCFFCC;
	padding: 5px;
	margin-bottom: 0px; /* required by IE to avoid a gap */
}
p.license a {
	color: #000;
	text-decoration: underline;
}
p.license img {
	vertical-align: middle;
}
p.pdf {
	background-color: #FFDDDD;
	border: 1px solid #FFCCCC;
	padding: 5px;
	margin-bottom: 0px; /* required by IE to avoid a gap */
}
p.pdf a {
	color: #000;
	text-decoration: underline;
}
p.pdf img {
	vertical-align: middle;
}
p.edit {
	background-color: #DFDDFF;
	border: 1px solid #CFCCFF;
	padding: 5px;
	margin-bottom: 0px; /* required by IE to avoid a gap */
}
p.edit a {
	color: #000;
	text-decoration: underline;
}
p.editable {
	background-color: #DFDDFF;
}
p.solution {
	background-color: #FFDDDD;
	border: 1px solid #FFCCCC;
	padding: 5px;
	margin-bottom: 0px; /* required by IE to avoid a gap */
}
p.solution a {
	color: #000;
	text-decoration: underline;
}
p.solution img {
	vertical-align: middle;
}
p.copyright {
	font-size: 0.7em;
	text-align: right;
}
p.copyright a {
	color: #000;
	text-decoration: underline;
}
p.abstract { /* used by articles only */
	font-style: italic;
	line-height: 1.5em;
}
code {
	font-size: 1em;
	color: #0000FF;
	font-family: Verdana, Geneva, sans-serif; /* Firefox uses different font-family by default */
}
code.computeroutput {
	font-family: "Courier New", Courier, monospace;
	color: #666;
	background-color: #DDD;
}
var {
	font-weight: bold;
	color: #000;
	font-style: normal; /* required by all browsers */
}
table {
	border: 1px solid #C0C0FF;
	font-size: 0.8em;
}
caption {
	font-style: italic;
}
th {
	color: #000;
	background-color: #D6D6FF;
	border: 1px solid #C0C0FF;
	padding: 4px;
	vertical-align: top;
}
th[scope="col"] {
	text-align: left;
}
th[scope="row"] {
	text-align: left;
	vertical-align: middle;
}
td {
	color: #000;
	background-color: #F0F0FF;
	border: 1px solid #C0C0FF;
	padding: 4px;
	vertical-align: top;
}
div.mediaobject[align="left"] * {
	margin-right: 10px;
}
div.mediaobject[align="right"] * {
	margin-left: 10px;
}
div.tip {
	color: #090;
	background-color: #F6FFF6;
	display: none;
}
div.tip p {
	padding: 7px;
}
