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