/**
 * 	How to use this CSS
 *
 *	This CSS provides a style built primarily around divs of a few
 *	very limited classes:
 *
 *	div.section - nest these to represent deeper and deeper sections.
 *	div.heading - use these for titles of pages and sections.
 *	div.quick-links - use these for right-aligned, flowed link boxes
 *	div.note - use these for notes
 *	div.code - use these for monospace preformatted text
 *
 *      This approach is different to regular HTML because rather than using
 *      h1, h2 etc. you just div.heading inside an appropriately nested
 *      div.section.
 */
body {
	font-family: Arial;
	background-color: rgb(233,233,233); /* approximate color bg */
	background-image: url('/presentation/resources/background.jpg');
	color: black;
	padding: 0;
	margin: 0;
	border: 0;
}
form {
	padding: 0;
	margin: 0;
	border: 0;
}
div.copyright {
	text-align: center;
	font-size: 80%;
	/* margin: 2em; */
}
div.copyright:before {
	/* content: "© Copyright 2008 IDS-ADI";  */ /* pointless - doesn't work in IE */
}
div.note {
	font-size: 80%;
	padding: 1ex;
	margin: 1em;
	background-color: rgb(240,240,240);
	border-width: 1px;
	border-style: solid;
	border-color: rgb(196,196,196);
}
div.note:before {
	/* content: "Note: "; */ /* pointless - doesn't work in IE */
}
div.warning {
	font-size: 80%;
	font-weight: 700;
	padding: 1ex;
	margin: 1em;
	border-style: dashed;
	border-width: 4px;
	background-color: rgb(255,224,000);
}
div.code {
	font-variant: normal;
	font-family: monospace;
	margin: 1ex;
	padding: 1ex;
	white-space: pre;
	border-style: dashed;
	border-width: 1px;
}
a {
	font-weight: bolder;
	font-style: inherit;
	text-decoration: none;
	color: rgb(64,64,128);
	border-bottom-color: rgb(196,196,196);
	border-bottom-width: 1px;
	border-bottom-style: dashed;
}
/*
   Theoretically could use :link:visited and
   :active:hover:focus, but this is broken in Firefox ...
*/
a:link {
	text-decoration: none;
	color: rgb(64,64,128);
	border-bottom-color: rgb(196,196,196);
	border-bottom-width: 1px;
	border-bottom-style: dashed;
}
a:visited {
	text-decoration: none;
	color: rgb(64,64,128);
	border-bottom-color: rgb(196,196,196);
	border-bottom-width: 1px;
	border-bottom-style: dashed;
}
a:active {
	text-decoration: none;
	color: rgb(64,64,128);
	border-bottom-color: rgb(196,196,196);
	border-bottom-width: 1px;
	border-bottom-style: solid;
}
a:hover {
	text-decoration: none;
	color: rgb(64,64,128);
	border-bottom-color: rgb(196,196,196);
	border-bottom-width: 1px;
	border-bottom-style: solid;
}
a:focus {
	text-decoration: none;
	color: rgb(64,64,128);
	border-bottom-color: rgb(196,196,196);
	border-bottom-width: 1px;
	border-bottom-style: solid;
}
a.image img {
	border-width: 0;
}
a.image {
	border-width: 0;
	text-decoration: none;
}
/*
	Have to repeat all this stuff because Internet Explorer is broken.
*/
a.image:link {
	border-width: 0;
	text-decoration: none;
}
a.image:visited {
	border-width: 0;
	text-decoration: none;
}
a.image:active {
	border-width: 0;
	text-decoration: none;
}
a.image:hover {
	border-width: 0;
	text-decoration: none;
}
a.image:focus {
	border-width: 0;
	text-decoration: none;
}
div.banner {
	width: 100%;
	text-align: center;
	font-size: 100%;
	font-weight: bolder;
	font-family: serif;
	background-color: rgb(64,64,128);
	color: rgb(128,128,255);
	padding: 0.5ex 0.5ex 0.5ex 0.5ex;
	margin: 0em 0em 0em 0em;
}
div.search-float {
	float: right;
	text-align: center;
	font-size: 100%;
	font-weight: bolder;
	font-family: serif;
	background-color: rgb(64,64,128);
	color: rgb(128,128,255);
	padding: 0.0ex 0.5ex 0.5ex 0.5ex;
	margin: 0em 0em 1ex 0em;
}
div.symbol-float {
	float: left;
	background-color: rgb(64,64,128);
	padding: 0.0ex 0.5ex 0.5ex 0.5ex;
	margin: 0em 0em 1ex 0em;
}
div.banner a {
	color: rgb(255,255,255);
}
/*
	Have to repeat all this stuff because Internet Explorer is broken.
*/
div.banner a:link {
	color: rgb(255,255,255);
}
div.banner a:visited {
	color: rgb(255,255,255);
}
div.banner a:active {
	color: rgb(255,255,255);
}
div.banner a:hover {
	color: rgb(255,255,255);
}
div.banner a:focus {
	color: rgb(255,255,255);
}
div.search-float a {
	color: rgb(255,255,255);
}
div.heading {
	text-align: center;
	font-size: 150%;
	font-weight: bolder;
	margin: 2em;
	font-family: serif;
	color: rgb(64,64,128);
}
div.section {
	margin: 1em 2em 1em 2em;
	/* padding: 0em 1em 0em 1em; */
}
div.appendix { /* same as section, but different for generated TOC */
	margin: 1em 0em 1em 0em;
	/* padding: 0em 1em 0em 1em; */
}
div.section div.heading {
	text-align: left; /* inherit would be better, but IE is malcompliant */
	font-size: 120%;
	font-weight: bolder;
	margin: 2em 0em 1em 0em;
	font-family: serif;
	color: rgb(128,128,196);
}
div.appendix div.heading {
	text-align: left; /* inherit would be better, but IE is malcompliant */
	font-size: 120%;
	font-weight: bolder;
	margin: 2em 0em 1em 0em;
	font-family: serif;
	color: rgb(128,128,196);
}
div.section div.section div.heading {
	font-size: 100%;
	font-weight: bolder;
	margin: 1em 0em 1em 0em;
}
div.quick-links {
	float: right;
	margin: 1ex 1ex 1ex 1ex;
	padding: 1ex 1ex 1ex 1ex;
	border-style: solid;
	border-width: 1px;
	border-color: black;
	/* background-color: rgb(252,248,220); *//* pale yellow */
	/* background-color: rgb(255,224,128); *//* pale apricot */
	background-color: rgb(245,240,128); /* off tan */
}
div.left-float {
	float: left;
}
div.quick-links div {
	margin: 0.5ex;
	font-size: 80%;
}
div.quick-links div.heading {
	font-size: 100%;
	font-variant: small-caps;
	color: rgb(64,64,128);
	margin: 1ex;
}
/* this looks pretty but doesn't work reliably in broken IE.
div.quick-links div a, div.quick-links div a:link:visited:hover:active:focus {
    color: rgb(64,64,128);
}
*/
div.para {
	margin: 1em 0em 1em 0em;
}
span.highlight {
        font-weight: bolder;
}
span.important {
        font-weight: bolder;
	color: rgb(255,64,32);
}
span.fixed {
	font-family: monospace;
}
span.fixed-ruled {
	font-family: monospace;
	text-decoration: line-through;
}
span.code {
	font-family: monospace;
}
table.padded-layout {
}
table.padded-layout tr td {
	margin: 1ex 0em 1ex 1em;
	vertical-align: top;
	text-align: left;
}
table.definition-layout {
	width: 100%;
}
table.definition-layout tr td {
	margin: 1ex 0em 1ex 1em;
	padding: 0.1em;
	vertical-align: top;
	text-align: left;
	background-color: rgb(240,240,240);
}
table.definition-layout tr td.label {
	font-weight: 600;
	background-color: rgb(224,224,224);
	width: 20%;
}
select {
    background-color: rgb(224,224,255);
    border-style: solid;
    border-color: rgb(196,196,196);
    margin: 1ex;
    border-width: 1px;
    padding: 2px;
}
input {
    background-color: rgb(224,224,255);
    border-style: solid;
    border-color: rgb(196,196,196);
    margin: 1ex;
    border-width: 1px;
    padding: 2px;
}
input[type=submit] {
    background-color: rgb(64,64,128);
    color: white;
}
ul {
	list-style: disc;
}