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