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