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