flatmax@597: /* The standard CSS for doxygen */
flatmax@597: 
flatmax@597: body, table, div, p, dl {
flatmax@597: 	font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
flatmax@597: 	font-size: 13px;
flatmax@597: 	line-height: 1.3;
flatmax@597: }
flatmax@597: 
flatmax@597: /* @group Heading Levels */
flatmax@597: 
flatmax@597: h1 {
flatmax@597: 	font-size: 150%;
flatmax@597: }
flatmax@597: 
flatmax@597: .title {
flatmax@597: 	font-size: 150%;
flatmax@597: 	font-weight: bold;
flatmax@597: 	margin: 10px 2px;
flatmax@597: }
flatmax@597: 
flatmax@597: h2 {
flatmax@597: 	font-size: 120%;
flatmax@597: }
flatmax@597: 
flatmax@597: h3 {
flatmax@597: 	font-size: 100%;
flatmax@597: }
flatmax@597: 
flatmax@597: dt {
flatmax@597: 	font-weight: bold;
flatmax@597: }
flatmax@597: 
flatmax@597: div.multicol {
flatmax@597: 	-moz-column-gap: 1em;
flatmax@597: 	-webkit-column-gap: 1em;
flatmax@597: 	-moz-column-count: 3;
flatmax@597: 	-webkit-column-count: 3;
flatmax@597: }
flatmax@597: 
flatmax@597: p.startli, p.startdd, p.starttd {
flatmax@597: 	margin-top: 2px;
flatmax@597: }
flatmax@597: 
flatmax@597: p.endli {
flatmax@597: 	margin-bottom: 0px;
flatmax@597: }
flatmax@597: 
flatmax@597: p.enddd {
flatmax@597: 	margin-bottom: 4px;
flatmax@597: }
flatmax@597: 
flatmax@597: p.endtd {
flatmax@597: 	margin-bottom: 2px;
flatmax@597: }
flatmax@597: 
flatmax@597: /* @end */
flatmax@597: 
flatmax@597: caption {
flatmax@597: 	font-weight: bold;
flatmax@597: }
flatmax@597: 
flatmax@597: span.legend {
flatmax@597:         font-size: 70%;
flatmax@597:         text-align: center;
flatmax@597: }
flatmax@597: 
flatmax@597: h3.version {
flatmax@597:         font-size: 90%;
flatmax@597:         text-align: center;
flatmax@597: }
flatmax@597: 
flatmax@597: div.qindex, div.navtab{
flatmax@597: 	background-color: #EBEFF6;
flatmax@597: 	border: 1px solid #A3B4D7;
flatmax@597: 	text-align: center;
flatmax@597: }
flatmax@597: 
flatmax@597: div.qindex, div.navpath {
flatmax@597: 	width: 100%;
flatmax@597: 	line-height: 140%;
flatmax@597: }
flatmax@597: 
flatmax@597: div.navtab {
flatmax@597: 	margin-right: 15px;
flatmax@597: }
flatmax@597: 
flatmax@597: /* @group Link Styling */
flatmax@597: 
flatmax@597: a {
flatmax@597: 	color: #3D578C;
flatmax@597: 	font-weight: normal;
flatmax@597: 	text-decoration: none;
flatmax@597: }
flatmax@597: 
flatmax@597: .contents a:visited {
flatmax@597: 	color: #4665A2;
flatmax@597: }
flatmax@597: 
flatmax@597: a:hover {
flatmax@597: 	text-decoration: underline;
flatmax@597: }
flatmax@597: 
flatmax@597: a.qindex {
flatmax@597: 	font-weight: bold;
flatmax@597: }
flatmax@597: 
flatmax@597: a.qindexHL {
flatmax@597: 	font-weight: bold;
flatmax@597: 	background-color: #9CAFD4;
flatmax@597: 	color: #ffffff;
flatmax@597: 	border: 1px double #869DCA;
flatmax@597: }
flatmax@597: 
flatmax@597: .contents a.qindexHL:visited {
flatmax@597:         color: #ffffff;
flatmax@597: }
flatmax@597: 
flatmax@597: a.el {
flatmax@597: 	font-weight: bold;
flatmax@597: }
flatmax@597: 
flatmax@597: a.elRef {
flatmax@597: }
flatmax@597: 
flatmax@597: a.code, a.code:visited {
flatmax@597: 	color: #4665A2; 
flatmax@597: }
flatmax@597: 
flatmax@597: a.codeRef, a.codeRef:visited {
flatmax@597: 	color: #4665A2; 
flatmax@597: }
flatmax@597: 
flatmax@597: /* @end */
flatmax@597: 
flatmax@597: dl.el {
flatmax@597: 	margin-left: -1cm;
flatmax@597: }
flatmax@597: 
flatmax@597: .fragment {
flatmax@597: 	font-family: monospace, fixed;
flatmax@597: 	font-size: 105%;
flatmax@597: }
flatmax@597: 
flatmax@597: pre.fragment {
flatmax@597: 	border: 1px solid #C4CFE5;
flatmax@597: 	background-color: #FBFCFD;
flatmax@597: 	padding: 4px 6px;
flatmax@597: 	margin: 4px 8px 4px 2px;
flatmax@597: 	overflow: auto;
flatmax@597: 	word-wrap: break-word;
flatmax@597: 	font-size:  9pt;
flatmax@597: 	line-height: 125%;
flatmax@597: }
flatmax@597: 
flatmax@597: div.ah {
flatmax@597: 	background-color: black;
flatmax@597: 	font-weight: bold;
flatmax@597: 	color: #ffffff;
flatmax@597: 	margin-bottom: 3px;
flatmax@597: 	margin-top: 3px;
flatmax@597: 	padding: 0.2em;
flatmax@597: 	border: solid thin #333;
flatmax@597: 	border-radius: 0.5em;
flatmax@597: 	-webkit-border-radius: .5em;
flatmax@597: 	-moz-border-radius: .5em;
flatmax@597: 	box-shadow: 2px 2px 3px #999;
flatmax@597: 	-webkit-box-shadow: 2px 2px 3px #999;
flatmax@597: 	-moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
flatmax@597: 	background-image: -webkit-gradient(linear, left top, left bottom, from(#eee), to(#000),color-stop(0.3, #444));
flatmax@597: 	background-image: -moz-linear-gradient(center top, #eee 0%, #444 40%, #000);
flatmax@597: }
flatmax@597: 
flatmax@597: div.groupHeader {
flatmax@597: 	margin-left: 16px;
flatmax@597: 	margin-top: 12px;
flatmax@597: 	font-weight: bold;
flatmax@597: }
flatmax@597: 
flatmax@597: div.groupText {
flatmax@597: 	margin-left: 16px;
flatmax@597: 	font-style: italic;
flatmax@597: }
flatmax@597: 
flatmax@597: body {
flatmax@597: 	background-color: white;
flatmax@597: 	color: black;
flatmax@597:         margin: 0;
flatmax@597: }
flatmax@597: 
flatmax@597: div.contents {
flatmax@597: 	margin-top: 10px;
flatmax@597: 	margin-left: 8px;
flatmax@597: 	margin-right: 8px;
flatmax@597: }
flatmax@597: 
flatmax@597: td.indexkey {
flatmax@597: 	background-color: #EBEFF6;
flatmax@597: 	font-weight: bold;
flatmax@597: 	border: 1px solid #C4CFE5;
flatmax@597: 	margin: 2px 0px 2px 0;
flatmax@597: 	padding: 2px 10px;
flatmax@597:         white-space: nowrap;
flatmax@597:         vertical-align: top;
flatmax@597: }
flatmax@597: 
flatmax@597: td.indexvalue {
flatmax@597: 	background-color: #EBEFF6;
flatmax@597: 	border: 1px solid #C4CFE5;
flatmax@597: 	padding: 2px 10px;
flatmax@597: 	margin: 2px 0px;
flatmax@597: }
flatmax@597: 
flatmax@597: tr.memlist {
flatmax@597: 	background-color: #EEF1F7;
flatmax@597: }
flatmax@597: 
flatmax@597: p.formulaDsp {
flatmax@597: 	text-align: center;
flatmax@597: }
flatmax@597: 
flatmax@597: img.formulaDsp {
flatmax@597: 	
flatmax@597: }
flatmax@597: 
flatmax@597: img.formulaInl {
flatmax@597: 	vertical-align: middle;
flatmax@597: }
flatmax@597: 
flatmax@597: div.center {
flatmax@597: 	text-align: center;
flatmax@597:         margin-top: 0px;
flatmax@597:         margin-bottom: 0px;
flatmax@597:         padding: 0px;
flatmax@597: }
flatmax@597: 
flatmax@597: div.center img {
flatmax@597: 	border: 0px;
flatmax@597: }
flatmax@597: 
flatmax@597: address.footer {
flatmax@597: 	text-align: right;
flatmax@597: 	padding-right: 12px;
flatmax@597: }
flatmax@597: 
flatmax@597: img.footer {
flatmax@597: 	border: 0px;
flatmax@597: 	vertical-align: middle;
flatmax@597: }
flatmax@597: 
flatmax@597: /* @group Code Colorization */
flatmax@597: 
flatmax@597: span.keyword {
flatmax@597: 	color: #008000
flatmax@597: }
flatmax@597: 
flatmax@597: span.keywordtype {
flatmax@597: 	color: #604020
flatmax@597: }
flatmax@597: 
flatmax@597: span.keywordflow {
flatmax@597: 	color: #e08000
flatmax@597: }
flatmax@597: 
flatmax@597: span.comment {
flatmax@597: 	color: #800000
flatmax@597: }
flatmax@597: 
flatmax@597: span.preprocessor {
flatmax@597: 	color: #806020
flatmax@597: }
flatmax@597: 
flatmax@597: span.stringliteral {
flatmax@597: 	color: #002080
flatmax@597: }
flatmax@597: 
flatmax@597: span.charliteral {
flatmax@597: 	color: #008080
flatmax@597: }
flatmax@597: 
flatmax@597: span.vhdldigit { 
flatmax@597: 	color: #ff00ff 
flatmax@597: }
flatmax@597: 
flatmax@597: span.vhdlchar { 
flatmax@597: 	color: #000000 
flatmax@597: }
flatmax@597: 
flatmax@597: span.vhdlkeyword { 
flatmax@597: 	color: #700070 
flatmax@597: }
flatmax@597: 
flatmax@597: span.vhdllogic { 
flatmax@597: 	color: #ff0000 
flatmax@597: }
flatmax@597: 
flatmax@597: /* @end */
flatmax@597: 
flatmax@597: /*
flatmax@597: .search {
flatmax@597: 	color: #003399;
flatmax@597: 	font-weight: bold;
flatmax@597: }
flatmax@597: 
flatmax@597: form.search {
flatmax@597: 	margin-bottom: 0px;
flatmax@597: 	margin-top: 0px;
flatmax@597: }
flatmax@597: 
flatmax@597: input.search {
flatmax@597: 	font-size: 75%;
flatmax@597: 	color: #000080;
flatmax@597: 	font-weight: normal;
flatmax@597: 	background-color: #e8eef2;
flatmax@597: }
flatmax@597: */
flatmax@597: 
flatmax@597: td.tiny {
flatmax@597: 	font-size: 75%;
flatmax@597: }
flatmax@597: 
flatmax@597: .dirtab {
flatmax@597: 	padding: 4px;
flatmax@597: 	border-collapse: collapse;
flatmax@597: 	border: 1px solid #A3B4D7;
flatmax@597: }
flatmax@597: 
flatmax@597: th.dirtab {
flatmax@597: 	background: #EBEFF6;
flatmax@597: 	font-weight: bold;
flatmax@597: }
flatmax@597: 
flatmax@597: hr {
flatmax@597: 	height: 0px;
flatmax@597: 	border: none;
flatmax@597: 	border-top: 1px solid #4A6AAA;
flatmax@597: }
flatmax@597: 
flatmax@597: hr.footer {
flatmax@597: 	height: 1px;
flatmax@597: }
flatmax@597: 
flatmax@597: /* @group Member Descriptions */
flatmax@597: 
flatmax@597: table.memberdecls {
flatmax@597: 	border-spacing: 0px;
flatmax@597: 	padding: 0px;
flatmax@597: }
flatmax@597: 
flatmax@597: .mdescLeft, .mdescRight,
flatmax@597: .memItemLeft, .memItemRight,
flatmax@597: .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
flatmax@597: 	background-color: #F9FAFC;
flatmax@597: 	border: none;
flatmax@597: 	margin: 4px;
flatmax@597: 	padding: 1px 0 0 8px;
flatmax@597: }
flatmax@597: 
flatmax@597: .mdescLeft, .mdescRight {
flatmax@597: 	padding: 0px 8px 4px 8px;
flatmax@597: 	color: #555;
flatmax@597: }
flatmax@597: 
flatmax@597: .memItemLeft, .memItemRight, .memTemplParams {
flatmax@597: 	border-top: 1px solid #C4CFE5;
flatmax@597: }
flatmax@597: 
flatmax@597: .memItemLeft, .memTemplItemLeft {
flatmax@597:         white-space: nowrap;
flatmax@597: }
flatmax@597: 
flatmax@597: .memItemRight {
flatmax@597: 	width: 100%;
flatmax@597: }
flatmax@597: 
flatmax@597: .memTemplParams {
flatmax@597: 	color: #4665A2;
flatmax@597:         white-space: nowrap;
flatmax@597: }
flatmax@597: 
flatmax@597: /* @end */
flatmax@597: 
flatmax@597: /* @group Member Details */
flatmax@597: 
flatmax@597: /* Styles for detailed member documentation */
flatmax@597: 
flatmax@597: .memtemplate {
flatmax@597: 	font-size: 80%;
flatmax@597: 	color: #4665A2;
flatmax@597: 	font-weight: normal;
flatmax@597: 	margin-left: 9px;
flatmax@597: }
flatmax@597: 
flatmax@597: .memnav {
flatmax@597: 	background-color: #EBEFF6;
flatmax@597: 	border: 1px solid #A3B4D7;
flatmax@597: 	text-align: center;
flatmax@597: 	margin: 2px;
flatmax@597: 	margin-right: 15px;
flatmax@597: 	padding: 2px;
flatmax@597: }
flatmax@597: 
flatmax@597: .mempage {
flatmax@597: 	width: 100%;
flatmax@597: }
flatmax@597: 
flatmax@597: .memitem {
flatmax@597: 	padding: 0;
flatmax@597: 	margin-bottom: 10px;
flatmax@597: 	margin-right: 5px;
flatmax@597: }
flatmax@597: 
flatmax@597: .memname {
flatmax@597:         white-space: nowrap;
flatmax@597:         font-weight: bold;
flatmax@597:         margin-left: 6px;
flatmax@597: }
flatmax@597: 
flatmax@597: .memproto, dl.reflist dt {
flatmax@597:         border-top: 1px solid #A8B8D9;
flatmax@597:         border-left: 1px solid #A8B8D9;
flatmax@597:         border-right: 1px solid #A8B8D9;
flatmax@597:         padding: 6px 0px 6px 0px;
flatmax@597:         color: #253555;
flatmax@597:         font-weight: bold;
flatmax@597:         text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
flatmax@597:         /* opera specific markup */
flatmax@597:         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
flatmax@597:         border-top-right-radius: 8px;
flatmax@597:         border-top-left-radius: 8px;
flatmax@597:         /* firefox specific markup */
flatmax@597:         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
flatmax@597:         -moz-border-radius-topright: 8px;
flatmax@597:         -moz-border-radius-topleft: 8px;
flatmax@597:         /* webkit specific markup */
flatmax@597:         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
flatmax@597:         -webkit-border-top-right-radius: 8px;
flatmax@597:         -webkit-border-top-left-radius: 8px;
flatmax@597:         background-image:url('nav_f.png');
flatmax@597:         background-repeat:repeat-x;
flatmax@597:         background-color: #E2E8F2;
flatmax@597: 
flatmax@597: }
flatmax@597: 
flatmax@597: .memdoc, dl.reflist dd {
flatmax@597:         border-bottom: 1px solid #A8B8D9;      
flatmax@597:         border-left: 1px solid #A8B8D9;      
flatmax@597:         border-right: 1px solid #A8B8D9; 
flatmax@597:         padding: 2px 5px;
flatmax@597:         background-color: #FBFCFD;
flatmax@597:         border-top-width: 0;
flatmax@597:         /* opera specific markup */
flatmax@597:         border-bottom-left-radius: 8px;
flatmax@597:         border-bottom-right-radius: 8px;
flatmax@597:         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
flatmax@597:         /* firefox specific markup */
flatmax@597:         -moz-border-radius-bottomleft: 8px;
flatmax@597:         -moz-border-radius-bottomright: 8px;
flatmax@597:         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
flatmax@597:         background-image: -moz-linear-gradient(center top, #FFFFFF 0%, #FFFFFF 60%, #F7F8FB 95%, #EEF1F7);
flatmax@597:         /* webkit specific markup */
flatmax@597:         -webkit-border-bottom-left-radius: 8px;
flatmax@597:         -webkit-border-bottom-right-radius: 8px;
flatmax@597:         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
flatmax@597:         background-image: -webkit-gradient(linear,center top,center bottom,from(#FFFFFF), color-stop(0.6,#FFFFFF), color-stop(0.60,#FFFFFF), color-stop(0.95,#F7F8FB), to(#EEF1F7));
flatmax@597: }
flatmax@597: 
flatmax@597: dl.reflist dt {
flatmax@597:         padding: 5px;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.reflist dd {
flatmax@597:         margin: 0px 0px 10px 0px;
flatmax@597:         padding: 5px;
flatmax@597: }
flatmax@597: 
flatmax@597: .paramkey {
flatmax@597: 	text-align: right;
flatmax@597: }
flatmax@597: 
flatmax@597: .paramtype {
flatmax@597: 	white-space: nowrap;
flatmax@597: }
flatmax@597: 
flatmax@597: .paramname {
flatmax@597: 	color: #602020;
flatmax@597: 	white-space: nowrap;
flatmax@597: }
flatmax@597: .paramname em {
flatmax@597: 	font-style: normal;
flatmax@597: }
flatmax@597: 
flatmax@597: .params, .retval, .exception, .tparams {
flatmax@597:         border-spacing: 6px 2px;
flatmax@597: }       
flatmax@597: 
flatmax@597: .params .paramname, .retval .paramname {
flatmax@597:         font-weight: bold;
flatmax@597:         vertical-align: top;
flatmax@597: }
flatmax@597:         
flatmax@597: .params .paramtype {
flatmax@597:         font-style: italic;
flatmax@597:         vertical-align: top;
flatmax@597: }       
flatmax@597:         
flatmax@597: .params .paramdir {
flatmax@597:         font-family: "courier new",courier,monospace;
flatmax@597:         vertical-align: top;
flatmax@597: }
flatmax@597: 
flatmax@597: 
flatmax@597: 
flatmax@597: 
flatmax@597: /* @end */
flatmax@597: 
flatmax@597: /* @group Directory (tree) */
flatmax@597: 
flatmax@597: /* for the tree view */
flatmax@597: 
flatmax@597: .ftvtree {
flatmax@597: 	font-family: sans-serif;
flatmax@597: 	margin: 0px;
flatmax@597: }
flatmax@597: 
flatmax@597: /* these are for tree view when used as main index */
flatmax@597: 
flatmax@597: .directory {
flatmax@597: 	font-size: 9pt;
flatmax@597: 	font-weight: bold;
flatmax@597: 	margin: 5px;
flatmax@597: }
flatmax@597: 
flatmax@597: .directory h3 {
flatmax@597: 	margin: 0px;
flatmax@597: 	margin-top: 1em;
flatmax@597: 	font-size: 11pt;
flatmax@597: }
flatmax@597: 
flatmax@597: /*
flatmax@597: The following two styles can be used to replace the root node title
flatmax@597: with an image of your choice.  Simply uncomment the next two styles,
flatmax@597: specify the name of your image and be sure to set 'height' to the
flatmax@597: proper pixel height of your image.
flatmax@597: */
flatmax@597: 
flatmax@597: /*
flatmax@597: .directory h3.swap {
flatmax@597: 	height: 61px;
flatmax@597: 	background-repeat: no-repeat;
flatmax@597: 	background-image: url("yourimage.gif");
flatmax@597: }
flatmax@597: .directory h3.swap span {
flatmax@597: 	display: none;
flatmax@597: }
flatmax@597: */
flatmax@597: 
flatmax@597: .directory > h3 {
flatmax@597: 	margin-top: 0;
flatmax@597: }
flatmax@597: 
flatmax@597: .directory p {
flatmax@597: 	margin: 0px;
flatmax@597: 	white-space: nowrap;
flatmax@597: }
flatmax@597: 
flatmax@597: .directory div {
flatmax@597: 	display: none;
flatmax@597: 	margin: 0px;
flatmax@597: }
flatmax@597: 
flatmax@597: .directory img {
flatmax@597: 	vertical-align: -30%;
flatmax@597: }
flatmax@597: 
flatmax@597: /* these are for tree view when not used as main index */
flatmax@597: 
flatmax@597: .directory-alt {
flatmax@597: 	font-size: 100%;
flatmax@597: 	font-weight: bold;
flatmax@597: }
flatmax@597: 
flatmax@597: .directory-alt h3 {
flatmax@597: 	margin: 0px;
flatmax@597: 	margin-top: 1em;
flatmax@597: 	font-size: 11pt;
flatmax@597: }
flatmax@597: 
flatmax@597: .directory-alt > h3 {
flatmax@597: 	margin-top: 0;
flatmax@597: }
flatmax@597: 
flatmax@597: .directory-alt p {
flatmax@597: 	margin: 0px;
flatmax@597: 	white-space: nowrap;
flatmax@597: }
flatmax@597: 
flatmax@597: .directory-alt div {
flatmax@597: 	display: none;
flatmax@597: 	margin: 0px;
flatmax@597: }
flatmax@597: 
flatmax@597: .directory-alt img {
flatmax@597: 	vertical-align: -30%;
flatmax@597: }
flatmax@597: 
flatmax@597: /* @end */
flatmax@597: 
flatmax@597: div.dynheader {
flatmax@597:         margin-top: 8px;
flatmax@597: }
flatmax@597: 
flatmax@597: address {
flatmax@597: 	font-style: normal;
flatmax@597: 	color: #2A3D61;
flatmax@597: }
flatmax@597: 
flatmax@597: table.doxtable {
flatmax@597: 	border-collapse:collapse;
flatmax@597: }
flatmax@597: 
flatmax@597: table.doxtable td, table.doxtable th {
flatmax@597: 	border: 1px solid #2D4068;
flatmax@597: 	padding: 3px 7px 2px;
flatmax@597: }
flatmax@597: 
flatmax@597: table.doxtable th {
flatmax@597: 	background-color: #374F7F;
flatmax@597: 	color: #FFFFFF;
flatmax@597: 	font-size: 110%;
flatmax@597: 	padding-bottom: 4px;
flatmax@597: 	padding-top: 5px;
flatmax@597: 	text-align:left;
flatmax@597: }
flatmax@597: 
flatmax@597: table.fieldtable {
flatmax@597:         width: 100%;
flatmax@597:         margin-bottom: 10px;
flatmax@597:         border: 1px solid #A8B8D9;
flatmax@597:         border-spacing: 0px;
flatmax@597:         -moz-border-radius: 4px;
flatmax@597:         -webkit-border-radius: 4px;
flatmax@597:         border-radius: 4px;
flatmax@597:         -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
flatmax@597:         -webkit-box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
flatmax@597:         box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
flatmax@597: }
flatmax@597: 
flatmax@597: .fieldtable td, .fieldtable th {
flatmax@597:         padding: 3px 7px 2px;
flatmax@597: }
flatmax@597: 
flatmax@597: .fieldtable td.fieldtype, .fieldtable td.fieldname {
flatmax@597:         white-space: nowrap;
flatmax@597:         border-right: 1px solid #A8B8D9;
flatmax@597:         border-bottom: 1px solid #A8B8D9;
flatmax@597:         vertical-align: top;
flatmax@597: }
flatmax@597: 
flatmax@597: .fieldtable td.fielddoc {
flatmax@597:         border-bottom: 1px solid #A8B8D9;
flatmax@597:         width: 100%;
flatmax@597: }
flatmax@597: 
flatmax@597: .fieldtable tr:last-child td {
flatmax@597:         border-bottom: none;
flatmax@597: }
flatmax@597: 
flatmax@597: .fieldtable th {
flatmax@597:         background-image:url('nav_f.png');
flatmax@597:         background-repeat:repeat-x;
flatmax@597:         background-color: #E2E8F2;
flatmax@597:         font-size: 90%;
flatmax@597:         color: #253555;
flatmax@597:         padding-bottom: 4px;
flatmax@597:         padding-top: 5px;
flatmax@597:         text-align:left;
flatmax@597:         -moz-border-radius-topleft: 4px;
flatmax@597:         -moz-border-radius-topright: 4px;
flatmax@597:         -webkit-border-top-left-radius: 4px;
flatmax@597:         -webkit-border-top-right-radius: 4px;
flatmax@597:         border-top-left-radius: 4px;
flatmax@597:         border-top-right-radius: 4px;
flatmax@597:         border-bottom: 1px solid #A8B8D9;
flatmax@597: }
flatmax@597: 
flatmax@597: 
flatmax@597: .tabsearch {
flatmax@597: 	top: 0px;
flatmax@597: 	left: 10px;
flatmax@597: 	height: 36px;
flatmax@597: 	background-image: url('tab_b.png');
flatmax@597: 	z-index: 101;
flatmax@597: 	overflow: hidden;
flatmax@597: 	font-size: 13px;
flatmax@597: }
flatmax@597: 
flatmax@597: .navpath ul
flatmax@597: {
flatmax@597: 	font-size: 11px;
flatmax@597: 	background-image:url('tab_b.png');
flatmax@597: 	background-repeat:repeat-x;
flatmax@597: 	height:30px;
flatmax@597: 	line-height:30px;
flatmax@597: 	color:#8AA0CC;
flatmax@597: 	border:solid 1px #C2CDE4;
flatmax@597: 	overflow:hidden;
flatmax@597: 	margin:0px;
flatmax@597: 	padding:0px;
flatmax@597: }
flatmax@597: 
flatmax@597: .navpath li
flatmax@597: {
flatmax@597: 	list-style-type:none;
flatmax@597: 	float:left;
flatmax@597: 	padding-left:10px;
flatmax@597: 	padding-right:15px;
flatmax@597: 	background-image:url('bc_s.png');
flatmax@597: 	background-repeat:no-repeat;
flatmax@597: 	background-position:right;
flatmax@597: 	color:#364D7C;
flatmax@597: }
flatmax@597: 
flatmax@597: .navpath li.navelem a
flatmax@597: {
flatmax@597: 	height:32px;
flatmax@597: 	display:block;
flatmax@597: 	text-decoration: none;
flatmax@597: 	outline: none;
flatmax@597: }
flatmax@597: 
flatmax@597: .navpath li.navelem a:hover
flatmax@597: {
flatmax@597: 	color:#6884BD;
flatmax@597: }
flatmax@597: 
flatmax@597: .navpath li.footer
flatmax@597: {
flatmax@597:         list-style-type:none;
flatmax@597:         float:right;
flatmax@597:         padding-left:10px;
flatmax@597:         padding-right:15px;
flatmax@597:         background-image:none;
flatmax@597:         background-repeat:no-repeat;
flatmax@597:         background-position:right;
flatmax@597:         color:#364D7C;
flatmax@597:         font-size: 8pt;
flatmax@597: }
flatmax@597: 
flatmax@597: 
flatmax@597: div.summary
flatmax@597: {
flatmax@597: 	float: right;
flatmax@597: 	font-size: 8pt;
flatmax@597: 	padding-right: 5px;
flatmax@597: 	width: 50%;
flatmax@597: 	text-align: right;
flatmax@597: }       
flatmax@597: 
flatmax@597: div.summary a
flatmax@597: {
flatmax@597: 	white-space: nowrap;
flatmax@597: }
flatmax@597: 
flatmax@597: div.ingroups
flatmax@597: {
flatmax@597: 	margin-left: 5px;
flatmax@597: 	font-size: 8pt;
flatmax@597: 	padding-left: 5px;
flatmax@597: 	width: 50%;
flatmax@597: 	text-align: left;
flatmax@597: }
flatmax@597: 
flatmax@597: div.ingroups a
flatmax@597: {
flatmax@597: 	white-space: nowrap;
flatmax@597: }
flatmax@597: 
flatmax@597: div.header
flatmax@597: {
flatmax@597:         background-image:url('nav_h.png');
flatmax@597:         background-repeat:repeat-x;
flatmax@597: 	background-color: #F9FAFC;
flatmax@597: 	margin:  0px;
flatmax@597: 	border-bottom: 1px solid #C4CFE5;
flatmax@597: }
flatmax@597: 
flatmax@597: div.headertitle
flatmax@597: {
flatmax@597: 	padding: 5px 5px 5px 7px;
flatmax@597: }
flatmax@597: 
flatmax@597: dl
flatmax@597: {
flatmax@597:         padding: 0 0 0 10px;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug
flatmax@597: {
flatmax@597:         border-left:4px solid;
flatmax@597:         padding: 0 0 0 6px;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.note
flatmax@597: {
flatmax@597:         border-color: #D0C000;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.warning, dl.attention
flatmax@597: {
flatmax@597:         border-color: #FF0000;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.pre, dl.post, dl.invariant
flatmax@597: {
flatmax@597:         border-color: #00D000;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.deprecated
flatmax@597: {
flatmax@597:         border-color: #505050;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.todo
flatmax@597: {
flatmax@597:         border-color: #00C0E0;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.test
flatmax@597: {
flatmax@597:         border-color: #3030E0;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.bug
flatmax@597: {
flatmax@597:         border-color: #C08050;
flatmax@597: }
flatmax@597: 
flatmax@597: #projectlogo
flatmax@597: {
flatmax@597: 	text-align: center;
flatmax@597: 	vertical-align: bottom;
flatmax@597: 	border-collapse: separate;
flatmax@597: }
flatmax@597:  
flatmax@597: #projectlogo img
flatmax@597: { 
flatmax@597: 	border: 0px none;
flatmax@597: }
flatmax@597:  
flatmax@597: #projectname
flatmax@597: {
flatmax@597: 	font: 300% Tahoma, Arial,sans-serif;
flatmax@597: 	margin: 0px;
flatmax@597: 	padding: 2px 0px;
flatmax@597: }
flatmax@597:     
flatmax@597: #projectbrief
flatmax@597: {
flatmax@597: 	font: 120% Tahoma, Arial,sans-serif;
flatmax@597: 	margin: 0px;
flatmax@597: 	padding: 0px;
flatmax@597: }
flatmax@597: 
flatmax@597: #projectnumber
flatmax@597: {
flatmax@597: 	font: 50% Tahoma, Arial,sans-serif;
flatmax@597: 	margin: 0px;
flatmax@597: 	padding: 0px;
flatmax@597: }
flatmax@597: 
flatmax@597: #titlearea
flatmax@597: {
flatmax@597: 	padding: 0px;
flatmax@597: 	margin: 0px;
flatmax@597: 	width: 100%;
flatmax@597: 	border-bottom: 1px solid #5373B4;
flatmax@597: }
flatmax@597: 
flatmax@597: .image
flatmax@597: {
flatmax@597:         text-align: center;
flatmax@597: }
flatmax@597: 
flatmax@597: .dotgraph
flatmax@597: {
flatmax@597:         text-align: center;
flatmax@597: }
flatmax@597: 
flatmax@597: .mscgraph
flatmax@597: {
flatmax@597:         text-align: center;
flatmax@597: }
flatmax@597: 
flatmax@597: .caption
flatmax@597: {
flatmax@597: 	font-weight: bold;
flatmax@597: }
flatmax@597: 
flatmax@597: div.zoom
flatmax@597: {
flatmax@597: 	border: 1px solid #90A5CE;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.citelist {
flatmax@597:         margin-bottom:50px;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.citelist dt {
flatmax@597:         color:#334975;
flatmax@597:         float:left;
flatmax@597:         font-weight:bold;
flatmax@597:         margin-right:10px;
flatmax@597:         padding:5px;
flatmax@597: }
flatmax@597: 
flatmax@597: dl.citelist dd {
flatmax@597:         margin:2px 0;
flatmax@597:         padding:5px 0;
flatmax@597: }
flatmax@597: 
flatmax@597: @media print
flatmax@597: {
flatmax@597:   #top { display: none; }
flatmax@597:   #side-nav { display: none; }
flatmax@597:   #nav-path { display: none; }
flatmax@597:   body { overflow:visible; }
flatmax@597:   h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
flatmax@597:   .summary { display: none; }
flatmax@597:   .memitem { page-break-inside: avoid; }
flatmax@597:   #doc-content
flatmax@597:   {
flatmax@597:     margin-left:0 !important;
flatmax@597:     height:auto !important;
flatmax@597:     width:auto !important;
flatmax@597:     overflow:inherit;
flatmax@597:     display:inline;
flatmax@597:   }
flatmax@597:   pre.fragment
flatmax@597:   {
flatmax@597:     overflow: visible;
flatmax@597:     text-wrap: unrestricted;
flatmax@597:     white-space: -moz-pre-wrap; /* Moz */
flatmax@597:     white-space: -pre-wrap; /* Opera 4-6 */
flatmax@597:     white-space: -o-pre-wrap; /* Opera 7 */
flatmax@597:     white-space: pre-wrap; /* CSS3  */
flatmax@597:     word-wrap: break-word; /* IE 5.5+ */
flatmax@597:   }
flatmax@597: }
flatmax@597: