adamstark@60: /* The standard CSS for doxygen */
adamstark@60: 
adamstark@60: body, table, div, p, dl {
adamstark@60: 	font: 400 14px/19px Roboto,sans-serif;
adamstark@60: }
adamstark@60: 
adamstark@60: /* @group Heading Levels */
adamstark@60: 
adamstark@60: h1.groupheader {
adamstark@60: 	font-size: 150%;
adamstark@60: }
adamstark@60: 
adamstark@60: .title {
adamstark@60: 	font-size: 150%;
adamstark@60: 	font-weight: bold;
adamstark@60: 	margin: 10px 2px;
adamstark@60: }
adamstark@60: 
adamstark@60: h2.groupheader {
adamstark@60: 	border-bottom: 1px solid #879ECB;
adamstark@60: 	color: #354C7B;
adamstark@60: 	font-size: 150%;
adamstark@60: 	font-weight: normal;
adamstark@60: 	margin-top: 1.75em;
adamstark@60: 	padding-top: 8px;
adamstark@60: 	padding-bottom: 4px;
adamstark@60: 	width: 100%;
adamstark@60: }
adamstark@60: 
adamstark@60: h3.groupheader {
adamstark@60: 	font-size: 100%;
adamstark@60: }
adamstark@60: 
adamstark@60: h1, h2, h3, h4, h5, h6 {
adamstark@60: 	-webkit-transition: text-shadow 0.5s linear;
adamstark@60: 	-moz-transition: text-shadow 0.5s linear;
adamstark@60: 	-ms-transition: text-shadow 0.5s linear;
adamstark@60: 	-o-transition: text-shadow 0.5s linear;
adamstark@60: 	transition: text-shadow 0.5s linear;
adamstark@60: 	margin-right: 15px;
adamstark@60: }
adamstark@60: 
adamstark@60: h1.glow, h2.glow, h3.glow, h4.glow, h5.glow, h6.glow {
adamstark@60: 	text-shadow: 0 0 15px cyan;
adamstark@60: }
adamstark@60: 
adamstark@60: dt {
adamstark@60: 	font-weight: bold;
adamstark@60: }
adamstark@60: 
adamstark@60: div.multicol {
adamstark@60: 	-moz-column-gap: 1em;
adamstark@60: 	-webkit-column-gap: 1em;
adamstark@60: 	-moz-column-count: 3;
adamstark@60: 	-webkit-column-count: 3;
adamstark@60: }
adamstark@60: 
adamstark@60: p.startli, p.startdd, p.starttd {
adamstark@60: 	margin-top: 2px;
adamstark@60: }
adamstark@60: 
adamstark@60: p.endli {
adamstark@60: 	margin-bottom: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: p.enddd {
adamstark@60: 	margin-bottom: 4px;
adamstark@60: }
adamstark@60: 
adamstark@60: p.endtd {
adamstark@60: 	margin-bottom: 2px;
adamstark@60: }
adamstark@60: 
adamstark@60: /* @end */
adamstark@60: 
adamstark@60: caption {
adamstark@60: 	font-weight: bold;
adamstark@60: }
adamstark@60: 
adamstark@60: span.legend {
adamstark@60:         font-size: 70%;
adamstark@60:         text-align: center;
adamstark@60: }
adamstark@60: 
adamstark@60: h3.version {
adamstark@60:         font-size: 90%;
adamstark@60:         text-align: center;
adamstark@60: }
adamstark@60: 
adamstark@60: div.qindex, div.navtab{
adamstark@60: 	background-color: #EBEFF6;
adamstark@60: 	border: 1px solid #A3B4D7;
adamstark@60: 	text-align: center;
adamstark@60: }
adamstark@60: 
adamstark@60: div.qindex, div.navpath {
adamstark@60: 	width: 100%;
adamstark@60: 	line-height: 140%;
adamstark@60: }
adamstark@60: 
adamstark@60: div.navtab {
adamstark@60: 	margin-right: 15px;
adamstark@60: }
adamstark@60: 
adamstark@60: /* @group Link Styling */
adamstark@60: 
adamstark@60: a {
adamstark@60: 	color: #3D578C;
adamstark@60: 	font-weight: normal;
adamstark@60: 	text-decoration: none;
adamstark@60: }
adamstark@60: 
adamstark@60: .contents a:visited {
adamstark@60: 	color: #4665A2;
adamstark@60: }
adamstark@60: 
adamstark@60: a:hover {
adamstark@60: 	text-decoration: underline;
adamstark@60: }
adamstark@60: 
adamstark@60: a.qindex {
adamstark@60: 	font-weight: bold;
adamstark@60: }
adamstark@60: 
adamstark@60: a.qindexHL {
adamstark@60: 	font-weight: bold;
adamstark@60: 	background-color: #9CAFD4;
adamstark@60: 	color: #ffffff;
adamstark@60: 	border: 1px double #869DCA;
adamstark@60: }
adamstark@60: 
adamstark@60: .contents a.qindexHL:visited {
adamstark@60:         color: #ffffff;
adamstark@60: }
adamstark@60: 
adamstark@60: a.el {
adamstark@60: 	font-weight: bold;
adamstark@60: }
adamstark@60: 
adamstark@60: a.elRef {
adamstark@60: }
adamstark@60: 
adamstark@60: a.code, a.code:visited {
adamstark@60: 	color: #4665A2; 
adamstark@60: }
adamstark@60: 
adamstark@60: a.codeRef, a.codeRef:visited {
adamstark@60: 	color: #4665A2; 
adamstark@60: }
adamstark@60: 
adamstark@60: /* @end */
adamstark@60: 
adamstark@60: dl.el {
adamstark@60: 	margin-left: -1cm;
adamstark@60: }
adamstark@60: 
adamstark@60: pre.fragment {
adamstark@60:         border: 1px solid #C4CFE5;
adamstark@60:         background-color: #FBFCFD;
adamstark@60:         padding: 4px 6px;
adamstark@60:         margin: 4px 8px 4px 2px;
adamstark@60:         overflow: auto;
adamstark@60:         word-wrap: break-word;
adamstark@60:         font-size:  9pt;
adamstark@60:         line-height: 125%;
adamstark@60:         font-family: monospace, fixed;
adamstark@60:         font-size: 105%;
adamstark@60: }
adamstark@60: 
adamstark@60: div.fragment {
adamstark@60:         padding: 4px;
adamstark@60:         margin: 4px;
adamstark@60: 	background-color: #FBFCFD;
adamstark@60: 	border: 1px solid #C4CFE5;
adamstark@60: }
adamstark@60: 
adamstark@60: div.line {
adamstark@60: 	font-family: monospace, fixed;
adamstark@60:         font-size: 13px;
adamstark@60: 	min-height: 13px;
adamstark@60: 	line-height: 1.0;
adamstark@60: 	text-wrap: unrestricted;
adamstark@60: 	white-space: -moz-pre-wrap; /* Moz */
adamstark@60: 	white-space: -pre-wrap;     /* Opera 4-6 */
adamstark@60: 	white-space: -o-pre-wrap;   /* Opera 7 */
adamstark@60: 	white-space: pre-wrap;      /* CSS3  */
adamstark@60: 	word-wrap: break-word;      /* IE 5.5+ */
adamstark@60: 	text-indent: -53px;
adamstark@60: 	padding-left: 53px;
adamstark@60: 	padding-bottom: 0px;
adamstark@60: 	margin: 0px;
adamstark@60: 	-webkit-transition-property: background-color, box-shadow;
adamstark@60: 	-webkit-transition-duration: 0.5s;
adamstark@60: 	-moz-transition-property: background-color, box-shadow;
adamstark@60: 	-moz-transition-duration: 0.5s;
adamstark@60: 	-ms-transition-property: background-color, box-shadow;
adamstark@60: 	-ms-transition-duration: 0.5s;
adamstark@60: 	-o-transition-property: background-color, box-shadow;
adamstark@60: 	-o-transition-duration: 0.5s;
adamstark@60: 	transition-property: background-color, box-shadow;
adamstark@60: 	transition-duration: 0.5s;
adamstark@60: }
adamstark@60: 
adamstark@60: div.line.glow {
adamstark@60: 	background-color: cyan;
adamstark@60: 	box-shadow: 0 0 10px cyan;
adamstark@60: }
adamstark@60: 
adamstark@60: 
adamstark@60: span.lineno {
adamstark@60: 	padding-right: 4px;
adamstark@60: 	text-align: right;
adamstark@60: 	border-right: 2px solid #0F0;
adamstark@60: 	background-color: #E8E8E8;
adamstark@60:         white-space: pre;
adamstark@60: }
adamstark@60: span.lineno a {
adamstark@60: 	background-color: #D8D8D8;
adamstark@60: }
adamstark@60: 
adamstark@60: span.lineno a:hover {
adamstark@60: 	background-color: #C8C8C8;
adamstark@60: }
adamstark@60: 
adamstark@60: div.ah {
adamstark@60: 	background-color: black;
adamstark@60: 	font-weight: bold;
adamstark@60: 	color: #ffffff;
adamstark@60: 	margin-bottom: 3px;
adamstark@60: 	margin-top: 3px;
adamstark@60: 	padding: 0.2em;
adamstark@60: 	border: solid thin #333;
adamstark@60: 	border-radius: 0.5em;
adamstark@60: 	-webkit-border-radius: .5em;
adamstark@60: 	-moz-border-radius: .5em;
adamstark@60: 	box-shadow: 2px 2px 3px #999;
adamstark@60: 	-webkit-box-shadow: 2px 2px 3px #999;
adamstark@60: 	-moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
adamstark@60: 	background-image: -webkit-gradient(linear, left top, left bottom, from(#eee), to(#000),color-stop(0.3, #444));
adamstark@60: 	background-image: -moz-linear-gradient(center top, #eee 0%, #444 40%, #000);
adamstark@60: }
adamstark@60: 
adamstark@60: div.groupHeader {
adamstark@60: 	margin-left: 16px;
adamstark@60: 	margin-top: 12px;
adamstark@60: 	font-weight: bold;
adamstark@60: }
adamstark@60: 
adamstark@60: div.groupText {
adamstark@60: 	margin-left: 16px;
adamstark@60: 	font-style: italic;
adamstark@60: }
adamstark@60: 
adamstark@60: body {
adamstark@60: 	background-color: white;
adamstark@60: 	color: black;
adamstark@60:         margin: 0;
adamstark@60: }
adamstark@60: 
adamstark@60: div.contents {
adamstark@60: 	margin-top: 10px;
adamstark@60: 	margin-left: 12px;
adamstark@60: 	margin-right: 8px;
adamstark@60: }
adamstark@60: 
adamstark@60: td.indexkey {
adamstark@60: 	background-color: #EBEFF6;
adamstark@60: 	font-weight: bold;
adamstark@60: 	border: 1px solid #C4CFE5;
adamstark@60: 	margin: 2px 0px 2px 0;
adamstark@60: 	padding: 2px 10px;
adamstark@60:         white-space: nowrap;
adamstark@60:         vertical-align: top;
adamstark@60: }
adamstark@60: 
adamstark@60: td.indexvalue {
adamstark@60: 	background-color: #EBEFF6;
adamstark@60: 	border: 1px solid #C4CFE5;
adamstark@60: 	padding: 2px 10px;
adamstark@60: 	margin: 2px 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: tr.memlist {
adamstark@60: 	background-color: #EEF1F7;
adamstark@60: }
adamstark@60: 
adamstark@60: p.formulaDsp {
adamstark@60: 	text-align: center;
adamstark@60: }
adamstark@60: 
adamstark@60: img.formulaDsp {
adamstark@60: 	
adamstark@60: }
adamstark@60: 
adamstark@60: img.formulaInl {
adamstark@60: 	vertical-align: middle;
adamstark@60: }
adamstark@60: 
adamstark@60: div.center {
adamstark@60: 	text-align: center;
adamstark@60:         margin-top: 0px;
adamstark@60:         margin-bottom: 0px;
adamstark@60:         padding: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: div.center img {
adamstark@60: 	border: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: address.footer {
adamstark@60: 	text-align: right;
adamstark@60: 	padding-right: 12px;
adamstark@60: }
adamstark@60: 
adamstark@60: img.footer {
adamstark@60: 	border: 0px;
adamstark@60: 	vertical-align: middle;
adamstark@60: }
adamstark@60: 
adamstark@60: /* @group Code Colorization */
adamstark@60: 
adamstark@60: span.keyword {
adamstark@60: 	color: #008000
adamstark@60: }
adamstark@60: 
adamstark@60: span.keywordtype {
adamstark@60: 	color: #604020
adamstark@60: }
adamstark@60: 
adamstark@60: span.keywordflow {
adamstark@60: 	color: #e08000
adamstark@60: }
adamstark@60: 
adamstark@60: span.comment {
adamstark@60: 	color: #800000
adamstark@60: }
adamstark@60: 
adamstark@60: span.preprocessor {
adamstark@60: 	color: #806020
adamstark@60: }
adamstark@60: 
adamstark@60: span.stringliteral {
adamstark@60: 	color: #002080
adamstark@60: }
adamstark@60: 
adamstark@60: span.charliteral {
adamstark@60: 	color: #008080
adamstark@60: }
adamstark@60: 
adamstark@60: span.vhdldigit { 
adamstark@60: 	color: #ff00ff 
adamstark@60: }
adamstark@60: 
adamstark@60: span.vhdlchar { 
adamstark@60: 	color: #000000 
adamstark@60: }
adamstark@60: 
adamstark@60: span.vhdlkeyword { 
adamstark@60: 	color: #700070 
adamstark@60: }
adamstark@60: 
adamstark@60: span.vhdllogic { 
adamstark@60: 	color: #ff0000 
adamstark@60: }
adamstark@60: 
adamstark@60: blockquote {
adamstark@60:         background-color: #F7F8FB;
adamstark@60:         border-left: 2px solid #9CAFD4;
adamstark@60:         margin: 0 24px 0 4px;
adamstark@60:         padding: 0 12px 0 16px;
adamstark@60: }
adamstark@60: 
adamstark@60: /* @end */
adamstark@60: 
adamstark@60: /*
adamstark@60: .search {
adamstark@60: 	color: #003399;
adamstark@60: 	font-weight: bold;
adamstark@60: }
adamstark@60: 
adamstark@60: form.search {
adamstark@60: 	margin-bottom: 0px;
adamstark@60: 	margin-top: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: input.search {
adamstark@60: 	font-size: 75%;
adamstark@60: 	color: #000080;
adamstark@60: 	font-weight: normal;
adamstark@60: 	background-color: #e8eef2;
adamstark@60: }
adamstark@60: */
adamstark@60: 
adamstark@60: td.tiny {
adamstark@60: 	font-size: 75%;
adamstark@60: }
adamstark@60: 
adamstark@60: .dirtab {
adamstark@60: 	padding: 4px;
adamstark@60: 	border-collapse: collapse;
adamstark@60: 	border: 1px solid #A3B4D7;
adamstark@60: }
adamstark@60: 
adamstark@60: th.dirtab {
adamstark@60: 	background: #EBEFF6;
adamstark@60: 	font-weight: bold;
adamstark@60: }
adamstark@60: 
adamstark@60: hr {
adamstark@60: 	height: 0px;
adamstark@60: 	border: none;
adamstark@60: 	border-top: 1px solid #4A6AAA;
adamstark@60: }
adamstark@60: 
adamstark@60: hr.footer {
adamstark@60: 	height: 1px;
adamstark@60: }
adamstark@60: 
adamstark@60: /* @group Member Descriptions */
adamstark@60: 
adamstark@60: table.memberdecls {
adamstark@60: 	border-spacing: 0px;
adamstark@60: 	padding: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: .memberdecls td, .fieldtable tr {
adamstark@60: 	-webkit-transition-property: background-color, box-shadow;
adamstark@60: 	-webkit-transition-duration: 0.5s;
adamstark@60: 	-moz-transition-property: background-color, box-shadow;
adamstark@60: 	-moz-transition-duration: 0.5s;
adamstark@60: 	-ms-transition-property: background-color, box-shadow;
adamstark@60: 	-ms-transition-duration: 0.5s;
adamstark@60: 	-o-transition-property: background-color, box-shadow;
adamstark@60: 	-o-transition-duration: 0.5s;
adamstark@60: 	transition-property: background-color, box-shadow;
adamstark@60: 	transition-duration: 0.5s;
adamstark@60: }
adamstark@60: 
adamstark@60: .memberdecls td.glow, .fieldtable tr.glow {
adamstark@60: 	background-color: cyan;
adamstark@60: 	box-shadow: 0 0 15px cyan;
adamstark@60: }
adamstark@60: 
adamstark@60: .mdescLeft, .mdescRight,
adamstark@60: .memItemLeft, .memItemRight,
adamstark@60: .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
adamstark@60: 	background-color: #F9FAFC;
adamstark@60: 	border: none;
adamstark@60: 	margin: 4px;
adamstark@60: 	padding: 1px 0 0 8px;
adamstark@60: }
adamstark@60: 
adamstark@60: .mdescLeft, .mdescRight {
adamstark@60: 	padding: 0px 8px 4px 8px;
adamstark@60: 	color: #555;
adamstark@60: }
adamstark@60: 
adamstark@60: .memSeparator {
adamstark@60:         border-bottom: 1px solid #DEE4F0;
adamstark@60:         line-height: 1px;
adamstark@60:         margin: 0px;
adamstark@60:         padding: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: .memItemLeft, .memTemplItemLeft {
adamstark@60:         white-space: nowrap;
adamstark@60: }
adamstark@60: 
adamstark@60: .memItemRight {
adamstark@60: 	width: 100%;
adamstark@60: }
adamstark@60: 
adamstark@60: .memTemplParams {
adamstark@60: 	color: #4665A2;
adamstark@60:         white-space: nowrap;
adamstark@60: 	font-size: 80%;
adamstark@60: }
adamstark@60: 
adamstark@60: /* @end */
adamstark@60: 
adamstark@60: /* @group Member Details */
adamstark@60: 
adamstark@60: /* Styles for detailed member documentation */
adamstark@60: 
adamstark@60: .memtemplate {
adamstark@60: 	font-size: 80%;
adamstark@60: 	color: #4665A2;
adamstark@60: 	font-weight: normal;
adamstark@60: 	margin-left: 9px;
adamstark@60: }
adamstark@60: 
adamstark@60: .memnav {
adamstark@60: 	background-color: #EBEFF6;
adamstark@60: 	border: 1px solid #A3B4D7;
adamstark@60: 	text-align: center;
adamstark@60: 	margin: 2px;
adamstark@60: 	margin-right: 15px;
adamstark@60: 	padding: 2px;
adamstark@60: }
adamstark@60: 
adamstark@60: .mempage {
adamstark@60: 	width: 100%;
adamstark@60: }
adamstark@60: 
adamstark@60: .memitem {
adamstark@60: 	padding: 0;
adamstark@60: 	margin-bottom: 10px;
adamstark@60: 	margin-right: 5px;
adamstark@60:         -webkit-transition: box-shadow 0.5s linear;
adamstark@60:         -moz-transition: box-shadow 0.5s linear;
adamstark@60:         -ms-transition: box-shadow 0.5s linear;
adamstark@60:         -o-transition: box-shadow 0.5s linear;
adamstark@60:         transition: box-shadow 0.5s linear;
adamstark@60:         display: table !important;
adamstark@60:         width: 100%;
adamstark@60: }
adamstark@60: 
adamstark@60: .memitem.glow {
adamstark@60:          box-shadow: 0 0 15px cyan;
adamstark@60: }
adamstark@60: 
adamstark@60: .memname {
adamstark@60:         font-weight: bold;
adamstark@60:         margin-left: 6px;
adamstark@60: }
adamstark@60: 
adamstark@60: .memname td {
adamstark@60: 	vertical-align: bottom;
adamstark@60: }
adamstark@60: 
adamstark@60: .memproto, dl.reflist dt {
adamstark@60:         border-top: 1px solid #A8B8D9;
adamstark@60:         border-left: 1px solid #A8B8D9;
adamstark@60:         border-right: 1px solid #A8B8D9;
adamstark@60:         padding: 6px 0px 6px 0px;
adamstark@60:         color: #253555;
adamstark@60:         font-weight: bold;
adamstark@60:         text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
adamstark@60:         background-image:url('nav_f.png');
adamstark@60:         background-repeat:repeat-x;
adamstark@60:         background-color: #E2E8F2;
adamstark@60:         /* opera specific markup */
adamstark@60:         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
adamstark@60:         border-top-right-radius: 4px;
adamstark@60:         border-top-left-radius: 4px;
adamstark@60:         /* firefox specific markup */
adamstark@60:         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
adamstark@60:         -moz-border-radius-topright: 4px;
adamstark@60:         -moz-border-radius-topleft: 4px;
adamstark@60:         /* webkit specific markup */
adamstark@60:         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
adamstark@60:         -webkit-border-top-right-radius: 4px;
adamstark@60:         -webkit-border-top-left-radius: 4px;
adamstark@60: 
adamstark@60: }
adamstark@60: 
adamstark@60: .memdoc, dl.reflist dd {
adamstark@60:         border-bottom: 1px solid #A8B8D9;      
adamstark@60:         border-left: 1px solid #A8B8D9;      
adamstark@60:         border-right: 1px solid #A8B8D9; 
adamstark@60:         padding: 6px 10px 2px 10px;
adamstark@60:         background-color: #FBFCFD;
adamstark@60:         border-top-width: 0;
adamstark@60:         background-image:url('nav_g.png');
adamstark@60:         background-repeat:repeat-x;
adamstark@60:         background-color: #FFFFFF;
adamstark@60:         /* opera specific markup */
adamstark@60:         border-bottom-left-radius: 4px;
adamstark@60:         border-bottom-right-radius: 4px;
adamstark@60:         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
adamstark@60:         /* firefox specific markup */
adamstark@60:         -moz-border-radius-bottomleft: 4px;
adamstark@60:         -moz-border-radius-bottomright: 4px;
adamstark@60:         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
adamstark@60:         /* webkit specific markup */
adamstark@60:         -webkit-border-bottom-left-radius: 4px;
adamstark@60:         -webkit-border-bottom-right-radius: 4px;
adamstark@60:         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
adamstark@60: }
adamstark@60: 
adamstark@60: dl.reflist dt {
adamstark@60:         padding: 5px;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.reflist dd {
adamstark@60:         margin: 0px 0px 10px 0px;
adamstark@60:         padding: 5px;
adamstark@60: }
adamstark@60: 
adamstark@60: .paramkey {
adamstark@60: 	text-align: right;
adamstark@60: }
adamstark@60: 
adamstark@60: .paramtype {
adamstark@60: 	white-space: nowrap;
adamstark@60: }
adamstark@60: 
adamstark@60: .paramname {
adamstark@60: 	color: #602020;
adamstark@60: 	white-space: nowrap;
adamstark@60: }
adamstark@60: .paramname em {
adamstark@60: 	font-style: normal;
adamstark@60: }
adamstark@60: .paramname code {
adamstark@60:         line-height: 14px;
adamstark@60: }
adamstark@60: 
adamstark@60: .params, .retval, .exception, .tparams {
adamstark@60:         margin-left: 0px;
adamstark@60:         padding-left: 0px;
adamstark@60: }       
adamstark@60: 
adamstark@60: .params .paramname, .retval .paramname {
adamstark@60:         font-weight: bold;
adamstark@60:         vertical-align: top;
adamstark@60: }
adamstark@60:         
adamstark@60: .params .paramtype {
adamstark@60:         font-style: italic;
adamstark@60:         vertical-align: top;
adamstark@60: }       
adamstark@60:         
adamstark@60: .params .paramdir {
adamstark@60:         font-family: "courier new",courier,monospace;
adamstark@60:         vertical-align: top;
adamstark@60: }
adamstark@60: 
adamstark@60: table.mlabels {
adamstark@60: 	border-spacing: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: td.mlabels-left {
adamstark@60: 	width: 100%;
adamstark@60: 	padding: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: td.mlabels-right {
adamstark@60: 	vertical-align: bottom;
adamstark@60: 	padding: 0px;
adamstark@60: 	white-space: nowrap;
adamstark@60: }
adamstark@60: 
adamstark@60: span.mlabels {
adamstark@60:         margin-left: 8px;
adamstark@60: }
adamstark@60: 
adamstark@60: span.mlabel {
adamstark@60:         background-color: #728DC1;
adamstark@60:         border-top:1px solid #5373B4;
adamstark@60:         border-left:1px solid #5373B4;
adamstark@60:         border-right:1px solid #C4CFE5;
adamstark@60:         border-bottom:1px solid #C4CFE5;
adamstark@60: 	text-shadow: none;
adamstark@60: 	color: white;
adamstark@60: 	margin-right: 4px;
adamstark@60: 	padding: 2px 3px;
adamstark@60: 	border-radius: 3px;
adamstark@60: 	font-size: 7pt;
adamstark@60: 	white-space: nowrap;
adamstark@60: 	vertical-align: middle;
adamstark@60: }
adamstark@60: 
adamstark@60: 
adamstark@60: 
adamstark@60: /* @end */
adamstark@60: 
adamstark@60: /* these are for tree view when not used as main index */
adamstark@60: 
adamstark@60: div.directory {
adamstark@60:         margin: 10px 0px;
adamstark@60:         border-top: 1px solid #A8B8D9;
adamstark@60:         border-bottom: 1px solid #A8B8D9;
adamstark@60:         width: 100%;
adamstark@60: }
adamstark@60: 
adamstark@60: .directory table {
adamstark@60:         border-collapse:collapse;
adamstark@60: }
adamstark@60: 
adamstark@60: .directory td {
adamstark@60:         margin: 0px;
adamstark@60:         padding: 0px;
adamstark@60: 	vertical-align: top;
adamstark@60: }
adamstark@60: 
adamstark@60: .directory td.entry {
adamstark@60:         white-space: nowrap;
adamstark@60:         padding-right: 6px;
adamstark@60: }
adamstark@60: 
adamstark@60: .directory td.entry a {
adamstark@60:         outline:none;
adamstark@60: }
adamstark@60: 
adamstark@60: .directory td.entry a img {
adamstark@60:         border: none;
adamstark@60: }
adamstark@60: 
adamstark@60: .directory td.desc {
adamstark@60:         width: 100%;
adamstark@60:         padding-left: 6px;
adamstark@60: 	padding-right: 6px;
adamstark@60: 	padding-top: 3px;
adamstark@60: 	border-left: 1px solid rgba(0,0,0,0.05);
adamstark@60: }
adamstark@60: 
adamstark@60: .directory tr.even {
adamstark@60: 	padding-left: 6px;
adamstark@60: 	background-color: #F7F8FB;
adamstark@60: }
adamstark@60: 
adamstark@60: .directory img {
adamstark@60: 	vertical-align: -30%;
adamstark@60: }
adamstark@60: 
adamstark@60: .directory .levels {
adamstark@60:         white-space: nowrap;
adamstark@60:         width: 100%;
adamstark@60:         text-align: right;
adamstark@60:         font-size: 9pt;
adamstark@60: }
adamstark@60: 
adamstark@60: .directory .levels span {
adamstark@60:         cursor: pointer;
adamstark@60:         padding-left: 2px;
adamstark@60:         padding-right: 2px;
adamstark@60: 	color: #3D578C;
adamstark@60: }
adamstark@60: 
adamstark@60: div.dynheader {
adamstark@60:         margin-top: 8px;
adamstark@60: 	-webkit-touch-callout: none;
adamstark@60: 	-webkit-user-select: none;
adamstark@60: 	-khtml-user-select: none;
adamstark@60: 	-moz-user-select: none;
adamstark@60: 	-ms-user-select: none;
adamstark@60: 	user-select: none;
adamstark@60: }
adamstark@60: 
adamstark@60: address {
adamstark@60: 	font-style: normal;
adamstark@60: 	color: #2A3D61;
adamstark@60: }
adamstark@60: 
adamstark@60: table.doxtable {
adamstark@60: 	border-collapse:collapse;
adamstark@60:         margin-top: 4px;
adamstark@60:         margin-bottom: 4px;
adamstark@60: }
adamstark@60: 
adamstark@60: table.doxtable td, table.doxtable th {
adamstark@60: 	border: 1px solid #2D4068;
adamstark@60: 	padding: 3px 7px 2px;
adamstark@60: }
adamstark@60: 
adamstark@60: table.doxtable th {
adamstark@60: 	background-color: #374F7F;
adamstark@60: 	color: #FFFFFF;
adamstark@60: 	font-size: 110%;
adamstark@60: 	padding-bottom: 4px;
adamstark@60: 	padding-top: 5px;
adamstark@60: }
adamstark@60: 
adamstark@60: table.fieldtable {
adamstark@60:         width: 100%;
adamstark@60:         margin-bottom: 10px;
adamstark@60:         border: 1px solid #A8B8D9;
adamstark@60:         border-spacing: 0px;
adamstark@60:         -moz-border-radius: 4px;
adamstark@60:         -webkit-border-radius: 4px;
adamstark@60:         border-radius: 4px;
adamstark@60:         -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
adamstark@60:         -webkit-box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
adamstark@60:         box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
adamstark@60: }
adamstark@60: 
adamstark@60: .fieldtable td, .fieldtable th {
adamstark@60:         padding: 3px 7px 2px;
adamstark@60: }
adamstark@60: 
adamstark@60: .fieldtable td.fieldtype, .fieldtable td.fieldname {
adamstark@60:         white-space: nowrap;
adamstark@60:         border-right: 1px solid #A8B8D9;
adamstark@60:         border-bottom: 1px solid #A8B8D9;
adamstark@60:         vertical-align: top;
adamstark@60: }
adamstark@60: 
adamstark@60: .fieldtable td.fielddoc {
adamstark@60:         border-bottom: 1px solid #A8B8D9;
adamstark@60:         width: 100%;
adamstark@60: }
adamstark@60: 
adamstark@60: .fieldtable tr:last-child td {
adamstark@60:         border-bottom: none;
adamstark@60: }
adamstark@60: 
adamstark@60: .fieldtable th {
adamstark@60:         background-image:url('nav_f.png');
adamstark@60:         background-repeat:repeat-x;
adamstark@60:         background-color: #E2E8F2;
adamstark@60:         font-size: 90%;
adamstark@60:         color: #253555;
adamstark@60:         padding-bottom: 4px;
adamstark@60:         padding-top: 5px;
adamstark@60:         text-align:left;
adamstark@60:         -moz-border-radius-topleft: 4px;
adamstark@60:         -moz-border-radius-topright: 4px;
adamstark@60:         -webkit-border-top-left-radius: 4px;
adamstark@60:         -webkit-border-top-right-radius: 4px;
adamstark@60:         border-top-left-radius: 4px;
adamstark@60:         border-top-right-radius: 4px;
adamstark@60:         border-bottom: 1px solid #A8B8D9;
adamstark@60: }
adamstark@60: 
adamstark@60: 
adamstark@60: .tabsearch {
adamstark@60: 	top: 0px;
adamstark@60: 	left: 10px;
adamstark@60: 	height: 36px;
adamstark@60: 	background-image: url('tab_b.png');
adamstark@60: 	z-index: 101;
adamstark@60: 	overflow: hidden;
adamstark@60: 	font-size: 13px;
adamstark@60: }
adamstark@60: 
adamstark@60: .navpath ul
adamstark@60: {
adamstark@60: 	font-size: 11px;
adamstark@60: 	background-image:url('tab_b.png');
adamstark@60: 	background-repeat:repeat-x;
adamstark@60: 	background-position: 0 -5px;
adamstark@60: 	height:30px;
adamstark@60: 	line-height:30px;
adamstark@60: 	color:#8AA0CC;
adamstark@60: 	border:solid 1px #C2CDE4;
adamstark@60: 	overflow:hidden;
adamstark@60: 	margin:0px;
adamstark@60: 	padding:0px;
adamstark@60: }
adamstark@60: 
adamstark@60: .navpath li
adamstark@60: {
adamstark@60: 	list-style-type:none;
adamstark@60: 	float:left;
adamstark@60: 	padding-left:10px;
adamstark@60: 	padding-right:15px;
adamstark@60: 	background-image:url('bc_s.png');
adamstark@60: 	background-repeat:no-repeat;
adamstark@60: 	background-position:right;
adamstark@60: 	color:#364D7C;
adamstark@60: }
adamstark@60: 
adamstark@60: .navpath li.navelem a
adamstark@60: {
adamstark@60: 	height:32px;
adamstark@60: 	display:block;
adamstark@60: 	text-decoration: none;
adamstark@60: 	outline: none;
adamstark@60: 	color: #283A5D;
adamstark@60: 	font-family: 'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
adamstark@60: 	text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
adamstark@60: 	text-decoration: none;        
adamstark@60: }
adamstark@60: 
adamstark@60: .navpath li.navelem a:hover
adamstark@60: {
adamstark@60: 	color:#6884BD;
adamstark@60: }
adamstark@60: 
adamstark@60: .navpath li.footer
adamstark@60: {
adamstark@60:         list-style-type:none;
adamstark@60:         float:right;
adamstark@60:         padding-left:10px;
adamstark@60:         padding-right:15px;
adamstark@60:         background-image:none;
adamstark@60:         background-repeat:no-repeat;
adamstark@60:         background-position:right;
adamstark@60:         color:#364D7C;
adamstark@60:         font-size: 8pt;
adamstark@60: }
adamstark@60: 
adamstark@60: 
adamstark@60: div.summary
adamstark@60: {
adamstark@60: 	float: right;
adamstark@60: 	font-size: 8pt;
adamstark@60: 	padding-right: 5px;
adamstark@60: 	width: 50%;
adamstark@60: 	text-align: right;
adamstark@60: }       
adamstark@60: 
adamstark@60: div.summary a
adamstark@60: {
adamstark@60: 	white-space: nowrap;
adamstark@60: }
adamstark@60: 
adamstark@60: div.ingroups
adamstark@60: {
adamstark@60: 	font-size: 8pt;
adamstark@60: 	width: 50%;
adamstark@60: 	text-align: left;
adamstark@60: }
adamstark@60: 
adamstark@60: div.ingroups a
adamstark@60: {
adamstark@60: 	white-space: nowrap;
adamstark@60: }
adamstark@60: 
adamstark@60: div.header
adamstark@60: {
adamstark@60:         background-image:url('nav_h.png');
adamstark@60:         background-repeat:repeat-x;
adamstark@60: 	background-color: #F9FAFC;
adamstark@60: 	margin:  0px;
adamstark@60: 	border-bottom: 1px solid #C4CFE5;
adamstark@60: }
adamstark@60: 
adamstark@60: div.headertitle
adamstark@60: {
adamstark@60: 	padding: 5px 5px 5px 10px;
adamstark@60: }
adamstark@60: 
adamstark@60: dl
adamstark@60: {
adamstark@60:         padding: 0 0 0 10px;
adamstark@60: }
adamstark@60: 
adamstark@60: /* dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug */
adamstark@60: dl.section
adamstark@60: {
adamstark@60: 	margin-left: 0px;
adamstark@60: 	padding-left: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.note
adamstark@60: {
adamstark@60:         margin-left:-7px;
adamstark@60:         padding-left: 3px;
adamstark@60:         border-left:4px solid;
adamstark@60:         border-color: #D0C000;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.warning, dl.attention
adamstark@60: {
adamstark@60:         margin-left:-7px;
adamstark@60:         padding-left: 3px;
adamstark@60:         border-left:4px solid;
adamstark@60:         border-color: #FF0000;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.pre, dl.post, dl.invariant
adamstark@60: {
adamstark@60:         margin-left:-7px;
adamstark@60:         padding-left: 3px;
adamstark@60:         border-left:4px solid;
adamstark@60:         border-color: #00D000;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.deprecated
adamstark@60: {
adamstark@60:         margin-left:-7px;
adamstark@60:         padding-left: 3px;
adamstark@60:         border-left:4px solid;
adamstark@60:         border-color: #505050;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.todo
adamstark@60: {
adamstark@60:         margin-left:-7px;
adamstark@60:         padding-left: 3px;
adamstark@60:         border-left:4px solid;
adamstark@60:         border-color: #00C0E0;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.test
adamstark@60: {
adamstark@60:         margin-left:-7px;
adamstark@60:         padding-left: 3px;
adamstark@60:         border-left:4px solid;
adamstark@60:         border-color: #3030E0;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.bug
adamstark@60: {
adamstark@60:         margin-left:-7px;
adamstark@60:         padding-left: 3px;
adamstark@60:         border-left:4px solid;
adamstark@60:         border-color: #C08050;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.section dd {
adamstark@60: 	margin-bottom: 6px;
adamstark@60: }
adamstark@60: 
adamstark@60: 
adamstark@60: #projectlogo
adamstark@60: {
adamstark@60: 	text-align: center;
adamstark@60: 	vertical-align: bottom;
adamstark@60: 	border-collapse: separate;
adamstark@60: }
adamstark@60:  
adamstark@60: #projectlogo img
adamstark@60: { 
adamstark@60: 	border: 0px none;
adamstark@60: }
adamstark@60:  
adamstark@60: #projectname
adamstark@60: {
adamstark@60: 	font: 300% Tahoma, Arial,sans-serif;
adamstark@60: 	margin: 0px;
adamstark@60: 	padding: 2px 0px;
adamstark@60: }
adamstark@60:     
adamstark@60: #projectbrief
adamstark@60: {
adamstark@60: 	font: 120% Tahoma, Arial,sans-serif;
adamstark@60: 	margin: 0px;
adamstark@60: 	padding: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: #projectnumber
adamstark@60: {
adamstark@60: 	font: 50% Tahoma, Arial,sans-serif;
adamstark@60: 	margin: 0px;
adamstark@60: 	padding: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: #titlearea
adamstark@60: {
adamstark@60: 	padding: 0px;
adamstark@60: 	margin: 0px;
adamstark@60: 	width: 100%;
adamstark@60: 	border-bottom: 1px solid #5373B4;
adamstark@60: }
adamstark@60: 
adamstark@60: .image
adamstark@60: {
adamstark@60:         text-align: center;
adamstark@60: }
adamstark@60: 
adamstark@60: .dotgraph
adamstark@60: {
adamstark@60:         text-align: center;
adamstark@60: }
adamstark@60: 
adamstark@60: .mscgraph
adamstark@60: {
adamstark@60:         text-align: center;
adamstark@60: }
adamstark@60: 
adamstark@60: .caption
adamstark@60: {
adamstark@60: 	font-weight: bold;
adamstark@60: }
adamstark@60: 
adamstark@60: div.zoom
adamstark@60: {
adamstark@60: 	border: 1px solid #90A5CE;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.citelist {
adamstark@60:         margin-bottom:50px;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.citelist dt {
adamstark@60:         color:#334975;
adamstark@60:         float:left;
adamstark@60:         font-weight:bold;
adamstark@60:         margin-right:10px;
adamstark@60:         padding:5px;
adamstark@60: }
adamstark@60: 
adamstark@60: dl.citelist dd {
adamstark@60:         margin:2px 0;
adamstark@60:         padding:5px 0;
adamstark@60: }
adamstark@60: 
adamstark@60: div.toc {
adamstark@60:         padding: 14px 25px;
adamstark@60:         background-color: #F4F6FA;
adamstark@60:         border: 1px solid #D8DFEE;
adamstark@60:         border-radius: 7px 7px 7px 7px;
adamstark@60:         float: right;
adamstark@60:         height: auto;
adamstark@60:         margin: 0 20px 10px 10px;
adamstark@60:         width: 200px;
adamstark@60: }
adamstark@60: 
adamstark@60: div.toc li {
adamstark@60:         background: url("bdwn.png") no-repeat scroll 0 5px transparent;
adamstark@60:         font: 10px/1.2 Verdana,DejaVu Sans,Geneva,sans-serif;
adamstark@60:         margin-top: 5px;
adamstark@60:         padding-left: 10px;
adamstark@60:         padding-top: 2px;
adamstark@60: }
adamstark@60: 
adamstark@60: div.toc h3 {
adamstark@60:         font: bold 12px/1.2 Arial,FreeSans,sans-serif;
adamstark@60: 	color: #4665A2;
adamstark@60:         border-bottom: 0 none;
adamstark@60:         margin: 0;
adamstark@60: }
adamstark@60: 
adamstark@60: div.toc ul {
adamstark@60:         list-style: none outside none;
adamstark@60:         border: medium none;
adamstark@60:         padding: 0px;
adamstark@60: }       
adamstark@60: 
adamstark@60: div.toc li.level1 {
adamstark@60:         margin-left: 0px;
adamstark@60: }
adamstark@60: 
adamstark@60: div.toc li.level2 {
adamstark@60:         margin-left: 15px;
adamstark@60: }
adamstark@60: 
adamstark@60: div.toc li.level3 {
adamstark@60:         margin-left: 30px;
adamstark@60: }
adamstark@60: 
adamstark@60: div.toc li.level4 {
adamstark@60:         margin-left: 45px;
adamstark@60: }
adamstark@60: 
adamstark@60: .inherit_header {
adamstark@60:         font-weight: bold;
adamstark@60:         color: gray;
adamstark@60:         cursor: pointer;
adamstark@60: 	-webkit-touch-callout: none;
adamstark@60: 	-webkit-user-select: none;
adamstark@60: 	-khtml-user-select: none;
adamstark@60: 	-moz-user-select: none;
adamstark@60: 	-ms-user-select: none;
adamstark@60: 	user-select: none;
adamstark@60: }
adamstark@60: 
adamstark@60: .inherit_header td {
adamstark@60:         padding: 6px 0px 2px 5px;
adamstark@60: }
adamstark@60: 
adamstark@60: .inherit {
adamstark@60:         display: none;
adamstark@60: }
adamstark@60: 
adamstark@60: tr.heading h2 {
adamstark@60:         margin-top: 12px;
adamstark@60:         margin-bottom: 4px;
adamstark@60: }
adamstark@60: 
adamstark@60: @media print
adamstark@60: {
adamstark@60:   #top { display: none; }
adamstark@60:   #side-nav { display: none; }
adamstark@60:   #nav-path { display: none; }
adamstark@60:   body { overflow:visible; }
adamstark@60:   h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
adamstark@60:   .summary { display: none; }
adamstark@60:   .memitem { page-break-inside: avoid; }
adamstark@60:   #doc-content
adamstark@60:   {
adamstark@60:     margin-left:0 !important;
adamstark@60:     height:auto !important;
adamstark@60:     width:auto !important;
adamstark@60:     overflow:inherit;
adamstark@60:     display:inline;
adamstark@60:   }
adamstark@60: }
adamstark@60: