Du kannst nicht mehr als 25 Themen auswählen Themen müssen entweder mit einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.

1367 Zeilen
23KB

  1. /* The standard CSS for doxygen 1.8.6 */
  2. body, table, div, p, dl {
  3. font: 400 14px/22px Roboto,sans-serif;
  4. }
  5. /* @group Heading Levels */
  6. h1.groupheader {
  7. font-size: 150%;
  8. }
  9. .title {
  10. font: 400 14px/28px Roboto,sans-serif;
  11. font-size: 150%;
  12. font-weight: bold;
  13. margin: 10px 2px;
  14. }
  15. h2.groupheader {
  16. border-bottom: 1px solid #879ECB;
  17. color: #354C7B;
  18. font-size: 150%;
  19. font-weight: normal;
  20. margin-top: 1.75em;
  21. padding-top: 8px;
  22. padding-bottom: 4px;
  23. width: 100%;
  24. }
  25. h3.groupheader {
  26. font-size: 100%;
  27. }
  28. h1, h2, h3, h4, h5, h6 {
  29. -webkit-transition: text-shadow 0.5s linear;
  30. -moz-transition: text-shadow 0.5s linear;
  31. -ms-transition: text-shadow 0.5s linear;
  32. -o-transition: text-shadow 0.5s linear;
  33. transition: text-shadow 0.5s linear;
  34. margin-right: 15px;
  35. }
  36. h1.glow, h2.glow, h3.glow, h4.glow, h5.glow, h6.glow {
  37. text-shadow: 0 0 15px cyan;
  38. }
  39. dt {
  40. font-weight: bold;
  41. }
  42. div.multicol {
  43. -moz-column-gap: 1em;
  44. -webkit-column-gap: 1em;
  45. -moz-column-count: 3;
  46. -webkit-column-count: 3;
  47. }
  48. p.startli, p.startdd {
  49. margin-top: 2px;
  50. }
  51. p.starttd {
  52. margin-top: 0px;
  53. }
  54. p.endli {
  55. margin-bottom: 0px;
  56. }
  57. p.enddd {
  58. margin-bottom: 4px;
  59. }
  60. p.endtd {
  61. margin-bottom: 2px;
  62. }
  63. /* @end */
  64. caption {
  65. font-weight: bold;
  66. }
  67. span.legend {
  68. font-size: 70%;
  69. text-align: center;
  70. }
  71. h3.version {
  72. font-size: 90%;
  73. text-align: center;
  74. }
  75. div.qindex, div.navtab{
  76. background-color: #EBEFF6;
  77. border: 1px solid #A3B4D7;
  78. text-align: center;
  79. }
  80. div.qindex, div.navpath {
  81. width: 100%;
  82. line-height: 140%;
  83. }
  84. div.navtab {
  85. margin-right: 15px;
  86. }
  87. /* @group Link Styling */
  88. a {
  89. color: #3D578C;
  90. font-weight: normal;
  91. text-decoration: none;
  92. }
  93. .contents a:visited {
  94. color: #4665A2;
  95. }
  96. a:hover {
  97. text-decoration: underline;
  98. }
  99. a.qindex {
  100. font-weight: bold;
  101. }
  102. a.qindexHL {
  103. font-weight: bold;
  104. background-color: #9CAFD4;
  105. color: #ffffff;
  106. border: 1px double #869DCA;
  107. }
  108. .contents a.qindexHL:visited {
  109. color: #ffffff;
  110. }
  111. a.el {
  112. font-weight: bold;
  113. }
  114. a.elRef {
  115. }
  116. a.code, a.code:visited, a.line, a.line:visited {
  117. color: #4665A2;
  118. }
  119. a.codeRef, a.codeRef:visited, a.lineRef, a.lineRef:visited {
  120. color: #4665A2;
  121. }
  122. /* @end */
  123. dl.el {
  124. margin-left: -1cm;
  125. }
  126. pre.fragment {
  127. border: 1px solid #C4CFE5;
  128. background-color: #FBFCFD;
  129. padding: 4px 6px;
  130. margin: 4px 8px 4px 2px;
  131. overflow: auto;
  132. word-wrap: break-word;
  133. font-size: 9pt;
  134. line-height: 125%;
  135. font-family: monospace, fixed;
  136. font-size: 105%;
  137. }
  138. div.fragment {
  139. padding: 4px 6px;
  140. margin: 4px 8px 4px 2px;
  141. background-color: #FBFCFD;
  142. border: 1px solid #C4CFE5;
  143. }
  144. div.line {
  145. font-family: monospace, fixed;
  146. font-size: 13px;
  147. min-height: 13px;
  148. line-height: 1.0;
  149. text-wrap: unrestricted;
  150. white-space: -moz-pre-wrap; /* Moz */
  151. white-space: -pre-wrap; /* Opera 4-6 */
  152. white-space: -o-pre-wrap; /* Opera 7 */
  153. white-space: pre-wrap; /* CSS3 */
  154. word-wrap: break-word; /* IE 5.5+ */
  155. text-indent: -53px;
  156. padding-left: 53px;
  157. padding-bottom: 0px;
  158. margin: 0px;
  159. -webkit-transition-property: background-color, box-shadow;
  160. -webkit-transition-duration: 0.5s;
  161. -moz-transition-property: background-color, box-shadow;
  162. -moz-transition-duration: 0.5s;
  163. -ms-transition-property: background-color, box-shadow;
  164. -ms-transition-duration: 0.5s;
  165. -o-transition-property: background-color, box-shadow;
  166. -o-transition-duration: 0.5s;
  167. transition-property: background-color, box-shadow;
  168. transition-duration: 0.5s;
  169. }
  170. div.line.glow {
  171. background-color: cyan;
  172. box-shadow: 0 0 10px cyan;
  173. }
  174. span.lineno {
  175. padding-right: 4px;
  176. text-align: right;
  177. border-right: 2px solid #0F0;
  178. background-color: #E8E8E8;
  179. white-space: pre;
  180. }
  181. span.lineno a {
  182. background-color: #D8D8D8;
  183. }
  184. span.lineno a:hover {
  185. background-color: #C8C8C8;
  186. }
  187. div.ah {
  188. background-color: black;
  189. font-weight: bold;
  190. color: #ffffff;
  191. margin-bottom: 3px;
  192. margin-top: 3px;
  193. padding: 0.2em;
  194. border: solid thin #333;
  195. border-radius: 0.5em;
  196. -webkit-border-radius: .5em;
  197. -moz-border-radius: .5em;
  198. box-shadow: 2px 2px 3px #999;
  199. -webkit-box-shadow: 2px 2px 3px #999;
  200. -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
  201. background-image: -webkit-gradient(linear, left top, left bottom, from(#eee), to(#000),color-stop(0.3, #444));
  202. background-image: -moz-linear-gradient(center top, #eee 0%, #444 40%, #000);
  203. }
  204. div.groupHeader {
  205. margin-left: 16px;
  206. margin-top: 12px;
  207. font-weight: bold;
  208. }
  209. div.groupText {
  210. margin-left: 16px;
  211. font-style: italic;
  212. }
  213. body {
  214. background-color: white;
  215. color: black;
  216. margin: 0;
  217. }
  218. div.contents {
  219. margin-top: 10px;
  220. margin-left: 12px;
  221. margin-right: 8px;
  222. }
  223. td.indexkey {
  224. background-color: #EBEFF6;
  225. font-weight: bold;
  226. border: 1px solid #C4CFE5;
  227. margin: 2px 0px 2px 0;
  228. padding: 2px 10px;
  229. white-space: nowrap;
  230. vertical-align: top;
  231. }
  232. td.indexvalue {
  233. background-color: #EBEFF6;
  234. border: 1px solid #C4CFE5;
  235. padding: 2px 10px;
  236. margin: 2px 0px;
  237. }
  238. tr.memlist {
  239. background-color: #EEF1F7;
  240. }
  241. p.formulaDsp {
  242. text-align: center;
  243. }
  244. img.formulaDsp {
  245. }
  246. img.formulaInl {
  247. vertical-align: middle;
  248. }
  249. div.center {
  250. text-align: center;
  251. margin-top: 0px;
  252. margin-bottom: 0px;
  253. padding: 0px;
  254. }
  255. div.center img {
  256. border: 0px;
  257. }
  258. address.footer {
  259. text-align: right;
  260. padding-right: 12px;
  261. }
  262. img.footer {
  263. border: 0px;
  264. vertical-align: middle;
  265. }
  266. /* @group Code Colorization */
  267. span.keyword {
  268. color: #008000
  269. }
  270. span.keywordtype {
  271. color: #604020
  272. }
  273. span.keywordflow {
  274. color: #e08000
  275. }
  276. span.comment {
  277. color: #800000
  278. }
  279. span.preprocessor {
  280. color: #806020
  281. }
  282. span.stringliteral {
  283. color: #002080
  284. }
  285. span.charliteral {
  286. color: #008080
  287. }
  288. span.vhdldigit {
  289. color: #ff00ff
  290. }
  291. span.vhdlchar {
  292. color: #000000
  293. }
  294. span.vhdlkeyword {
  295. color: #700070
  296. }
  297. span.vhdllogic {
  298. color: #ff0000
  299. }
  300. blockquote {
  301. background-color: #F7F8FB;
  302. border-left: 2px solid #9CAFD4;
  303. margin: 0 24px 0 4px;
  304. padding: 0 12px 0 16px;
  305. }
  306. /* @end */
  307. /*
  308. .search {
  309. color: #003399;
  310. font-weight: bold;
  311. }
  312. form.search {
  313. margin-bottom: 0px;
  314. margin-top: 0px;
  315. }
  316. input.search {
  317. font-size: 75%;
  318. color: #000080;
  319. font-weight: normal;
  320. background-color: #e8eef2;
  321. }
  322. */
  323. td.tiny {
  324. font-size: 75%;
  325. }
  326. .dirtab {
  327. padding: 4px;
  328. border-collapse: collapse;
  329. border: 1px solid #A3B4D7;
  330. }
  331. th.dirtab {
  332. background: #EBEFF6;
  333. font-weight: bold;
  334. }
  335. hr {
  336. height: 0px;
  337. border: none;
  338. border-top: 1px solid #4A6AAA;
  339. }
  340. hr.footer {
  341. height: 1px;
  342. }
  343. /* @group Member Descriptions */
  344. table.memberdecls {
  345. border-spacing: 0px;
  346. padding: 0px;
  347. }
  348. .memberdecls td, .fieldtable tr {
  349. -webkit-transition-property: background-color, box-shadow;
  350. -webkit-transition-duration: 0.5s;
  351. -moz-transition-property: background-color, box-shadow;
  352. -moz-transition-duration: 0.5s;
  353. -ms-transition-property: background-color, box-shadow;
  354. -ms-transition-duration: 0.5s;
  355. -o-transition-property: background-color, box-shadow;
  356. -o-transition-duration: 0.5s;
  357. transition-property: background-color, box-shadow;
  358. transition-duration: 0.5s;
  359. }
  360. .memberdecls td.glow, .fieldtable tr.glow {
  361. background-color: cyan;
  362. box-shadow: 0 0 15px cyan;
  363. }
  364. .mdescLeft, .mdescRight,
  365. .memItemLeft, .memItemRight,
  366. .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
  367. background-color: #F9FAFC;
  368. border: none;
  369. margin: 4px;
  370. padding: 1px 0 0 8px;
  371. }
  372. .mdescLeft, .mdescRight {
  373. padding: 0px 8px 4px 8px;
  374. color: #555;
  375. }
  376. .memSeparator {
  377. border-bottom: 1px solid #DEE4F0;
  378. line-height: 1px;
  379. margin: 0px;
  380. padding: 0px;
  381. }
  382. .memItemLeft, .memTemplItemLeft {
  383. white-space: nowrap;
  384. }
  385. .memItemRight {
  386. width: 100%;
  387. }
  388. .memTemplParams {
  389. color: #4665A2;
  390. white-space: nowrap;
  391. font-size: 80%;
  392. }
  393. /* @end */
  394. /* @group Member Details */
  395. /* Styles for detailed member documentation */
  396. .memtemplate {
  397. font-size: 80%;
  398. color: #4665A2;
  399. font-weight: normal;
  400. margin-left: 9px;
  401. }
  402. .memnav {
  403. background-color: #EBEFF6;
  404. border: 1px solid #A3B4D7;
  405. text-align: center;
  406. margin: 2px;
  407. margin-right: 15px;
  408. padding: 2px;
  409. }
  410. .mempage {
  411. width: 100%;
  412. }
  413. .memitem {
  414. padding: 0;
  415. margin-bottom: 10px;
  416. margin-right: 5px;
  417. -webkit-transition: box-shadow 0.5s linear;
  418. -moz-transition: box-shadow 0.5s linear;
  419. -ms-transition: box-shadow 0.5s linear;
  420. -o-transition: box-shadow 0.5s linear;
  421. transition: box-shadow 0.5s linear;
  422. display: table !important;
  423. width: 100%;
  424. }
  425. .memitem.glow {
  426. box-shadow: 0 0 15px cyan;
  427. }
  428. .memname {
  429. font-weight: bold;
  430. margin-left: 6px;
  431. }
  432. .memname td {
  433. vertical-align: bottom;
  434. }
  435. .memproto, dl.reflist dt {
  436. border-top: 1px solid #A8B8D9;
  437. border-left: 1px solid #A8B8D9;
  438. border-right: 1px solid #A8B8D9;
  439. padding: 6px 0px 6px 0px;
  440. color: #253555;
  441. font-weight: bold;
  442. text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
  443. background-image:url('nav_f.png');
  444. background-repeat:repeat-x;
  445. background-color: #E2E8F2;
  446. /* opera specific markup */
  447. box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
  448. border-top-right-radius: 4px;
  449. border-top-left-radius: 4px;
  450. /* firefox specific markup */
  451. -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
  452. -moz-border-radius-topright: 4px;
  453. -moz-border-radius-topleft: 4px;
  454. /* webkit specific markup */
  455. -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
  456. -webkit-border-top-right-radius: 4px;
  457. -webkit-border-top-left-radius: 4px;
  458. }
  459. .memdoc, dl.reflist dd {
  460. border-bottom: 1px solid #A8B8D9;
  461. border-left: 1px solid #A8B8D9;
  462. border-right: 1px solid #A8B8D9;
  463. padding: 6px 10px 2px 10px;
  464. background-color: #FBFCFD;
  465. border-top-width: 0;
  466. background-image:url('nav_g.png');
  467. background-repeat:repeat-x;
  468. background-color: #FFFFFF;
  469. /* opera specific markup */
  470. border-bottom-left-radius: 4px;
  471. border-bottom-right-radius: 4px;
  472. box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
  473. /* firefox specific markup */
  474. -moz-border-radius-bottomleft: 4px;
  475. -moz-border-radius-bottomright: 4px;
  476. -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
  477. /* webkit specific markup */
  478. -webkit-border-bottom-left-radius: 4px;
  479. -webkit-border-bottom-right-radius: 4px;
  480. -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
  481. }
  482. dl.reflist dt {
  483. padding: 5px;
  484. }
  485. dl.reflist dd {
  486. margin: 0px 0px 10px 0px;
  487. padding: 5px;
  488. }
  489. .paramkey {
  490. text-align: right;
  491. }
  492. .paramtype {
  493. white-space: nowrap;
  494. }
  495. .paramname {
  496. color: #602020;
  497. white-space: nowrap;
  498. }
  499. .paramname em {
  500. font-style: normal;
  501. }
  502. .paramname code {
  503. line-height: 14px;
  504. }
  505. .params, .retval, .exception, .tparams {
  506. margin-left: 0px;
  507. padding-left: 0px;
  508. }
  509. .params .paramname, .retval .paramname {
  510. font-weight: bold;
  511. vertical-align: top;
  512. }
  513. .params .paramtype {
  514. font-style: italic;
  515. vertical-align: top;
  516. }
  517. .params .paramdir {
  518. font-family: "courier new",courier,monospace;
  519. vertical-align: top;
  520. }
  521. table.mlabels {
  522. border-spacing: 0px;
  523. }
  524. td.mlabels-left {
  525. width: 100%;
  526. padding: 0px;
  527. }
  528. td.mlabels-right {
  529. vertical-align: bottom;
  530. padding: 0px;
  531. white-space: nowrap;
  532. }
  533. span.mlabels {
  534. margin-left: 8px;
  535. }
  536. span.mlabel {
  537. background-color: #728DC1;
  538. border-top:1px solid #5373B4;
  539. border-left:1px solid #5373B4;
  540. border-right:1px solid #C4CFE5;
  541. border-bottom:1px solid #C4CFE5;
  542. text-shadow: none;
  543. color: white;
  544. margin-right: 4px;
  545. padding: 2px 3px;
  546. border-radius: 3px;
  547. font-size: 7pt;
  548. white-space: nowrap;
  549. vertical-align: middle;
  550. }
  551. /* @end */
  552. /* these are for tree view when not used as main index */
  553. div.directory {
  554. margin: 10px 0px;
  555. border-top: 1px solid #A8B8D9;
  556. border-bottom: 1px solid #A8B8D9;
  557. width: 100%;
  558. }
  559. .directory table {
  560. border-collapse:collapse;
  561. }
  562. .directory td {
  563. margin: 0px;
  564. padding: 0px;
  565. vertical-align: top;
  566. }
  567. .directory td.entry {
  568. white-space: nowrap;
  569. padding-right: 6px;
  570. padding-top: 3px;
  571. }
  572. .directory td.entry a {
  573. outline:none;
  574. }
  575. .directory td.entry a img {
  576. border: none;
  577. }
  578. .directory td.desc {
  579. width: 100%;
  580. padding-left: 6px;
  581. padding-right: 6px;
  582. padding-top: 3px;
  583. border-left: 1px solid rgba(0,0,0,0.05);
  584. }
  585. .directory tr.even {
  586. padding-left: 6px;
  587. background-color: #F7F8FB;
  588. }
  589. .directory img {
  590. vertical-align: -30%;
  591. }
  592. .directory .levels {
  593. white-space: nowrap;
  594. width: 100%;
  595. text-align: right;
  596. font-size: 9pt;
  597. }
  598. .directory .levels span {
  599. cursor: pointer;
  600. padding-left: 2px;
  601. padding-right: 2px;
  602. color: #3D578C;
  603. }
  604. div.dynheader {
  605. margin-top: 8px;
  606. -webkit-touch-callout: none;
  607. -webkit-user-select: none;
  608. -khtml-user-select: none;
  609. -moz-user-select: none;
  610. -ms-user-select: none;
  611. user-select: none;
  612. }
  613. address {
  614. font-style: normal;
  615. color: #2A3D61;
  616. }
  617. table.doxtable {
  618. border-collapse:collapse;
  619. margin-top: 4px;
  620. margin-bottom: 4px;
  621. }
  622. table.doxtable td, table.doxtable th {
  623. border: 1px solid #2D4068;
  624. padding: 3px 7px 2px;
  625. }
  626. table.doxtable th {
  627. background-color: #374F7F;
  628. color: #FFFFFF;
  629. font-size: 110%;
  630. padding-bottom: 4px;
  631. padding-top: 5px;
  632. }
  633. table.fieldtable {
  634. /*width: 100%;*/
  635. margin-bottom: 10px;
  636. border: 1px solid #A8B8D9;
  637. border-spacing: 0px;
  638. -moz-border-radius: 4px;
  639. -webkit-border-radius: 4px;
  640. border-radius: 4px;
  641. -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
  642. -webkit-box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
  643. box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
  644. }
  645. .fieldtable td, .fieldtable th {
  646. padding: 3px 7px 2px;
  647. }
  648. .fieldtable td.fieldtype, .fieldtable td.fieldname {
  649. white-space: nowrap;
  650. border-right: 1px solid #A8B8D9;
  651. border-bottom: 1px solid #A8B8D9;
  652. vertical-align: top;
  653. }
  654. .fieldtable td.fieldname {
  655. padding-top: 3px;
  656. }
  657. .fieldtable td.fielddoc {
  658. border-bottom: 1px solid #A8B8D9;
  659. /*width: 100%;*/
  660. }
  661. .fieldtable td.fielddoc p:first-child {
  662. margin-top: 0px;
  663. }
  664. .fieldtable td.fielddoc p:last-child {
  665. margin-bottom: 2px;
  666. }
  667. .fieldtable tr:last-child td {
  668. border-bottom: none;
  669. }
  670. .fieldtable th {
  671. background-image:url('nav_f.png');
  672. background-repeat:repeat-x;
  673. background-color: #E2E8F2;
  674. font-size: 90%;
  675. color: #253555;
  676. padding-bottom: 4px;
  677. padding-top: 5px;
  678. text-align:left;
  679. -moz-border-radius-topleft: 4px;
  680. -moz-border-radius-topright: 4px;
  681. -webkit-border-top-left-radius: 4px;
  682. -webkit-border-top-right-radius: 4px;
  683. border-top-left-radius: 4px;
  684. border-top-right-radius: 4px;
  685. border-bottom: 1px solid #A8B8D9;
  686. }
  687. .tabsearch {
  688. top: 0px;
  689. left: 10px;
  690. height: 36px;
  691. background-image: url('tab_b.png');
  692. z-index: 101;
  693. overflow: hidden;
  694. font-size: 13px;
  695. }
  696. .navpath ul
  697. {
  698. font-size: 11px;
  699. background-image:url('tab_b.png');
  700. background-repeat:repeat-x;
  701. background-position: 0 -5px;
  702. height:30px;
  703. line-height:30px;
  704. color:#8AA0CC;
  705. border:solid 1px #C2CDE4;
  706. overflow:hidden;
  707. margin:0px;
  708. padding:0px;
  709. }
  710. .navpath li
  711. {
  712. list-style-type:none;
  713. float:left;
  714. padding-left:10px;
  715. padding-right:15px;
  716. background-image:url('bc_s.png');
  717. background-repeat:no-repeat;
  718. background-position:right;
  719. color:#364D7C;
  720. }
  721. .navpath li.navelem a
  722. {
  723. height:32px;
  724. display:block;
  725. text-decoration: none;
  726. outline: none;
  727. color: #283A5D;
  728. font-family: 'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
  729. text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
  730. text-decoration: none;
  731. }
  732. .navpath li.navelem a:hover
  733. {
  734. color:#6884BD;
  735. }
  736. .navpath li.footer
  737. {
  738. list-style-type:none;
  739. float:right;
  740. padding-left:10px;
  741. padding-right:15px;
  742. background-image:none;
  743. background-repeat:no-repeat;
  744. background-position:right;
  745. color:#364D7C;
  746. font-size: 8pt;
  747. }
  748. div.summary
  749. {
  750. float: right;
  751. font-size: 8pt;
  752. padding-right: 5px;
  753. width: 50%;
  754. text-align: right;
  755. }
  756. div.summary a
  757. {
  758. white-space: nowrap;
  759. }
  760. div.ingroups
  761. {
  762. font-size: 8pt;
  763. width: 50%;
  764. text-align: left;
  765. }
  766. div.ingroups a
  767. {
  768. white-space: nowrap;
  769. }
  770. div.header
  771. {
  772. background-image:url('nav_h.png');
  773. background-repeat:repeat-x;
  774. background-color: #F9FAFC;
  775. margin: 0px;
  776. border-bottom: 1px solid #C4CFE5;
  777. }
  778. div.headertitle
  779. {
  780. padding: 5px 5px 5px 10px;
  781. }
  782. dl
  783. {
  784. padding: 0 0 0 10px;
  785. }
  786. /* dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug */
  787. dl.section
  788. {
  789. margin-left: 0px;
  790. padding-left: 0px;
  791. }
  792. dl.note
  793. {
  794. margin-left:-7px;
  795. padding-left: 3px;
  796. border-left:4px solid;
  797. border-color: #D0C000;
  798. }
  799. dl.warning, dl.attention
  800. {
  801. margin-left:-7px;
  802. padding-left: 3px;
  803. border-left:4px solid;
  804. border-color: #FF0000;
  805. }
  806. dl.pre, dl.post, dl.invariant
  807. {
  808. margin-left:-7px;
  809. padding-left: 3px;
  810. border-left:4px solid;
  811. border-color: #00D000;
  812. }
  813. dl.deprecated
  814. {
  815. margin-left:-7px;
  816. padding-left: 3px;
  817. border-left:4px solid;
  818. border-color: #505050;
  819. }
  820. dl.todo
  821. {
  822. margin-left:-7px;
  823. padding-left: 3px;
  824. border-left:4px solid;
  825. border-color: #00C0E0;
  826. }
  827. dl.test
  828. {
  829. margin-left:-7px;
  830. padding-left: 3px;
  831. border-left:4px solid;
  832. border-color: #3030E0;
  833. }
  834. dl.bug
  835. {
  836. margin-left:-7px;
  837. padding-left: 3px;
  838. border-left:4px solid;
  839. border-color: #C08050;
  840. }
  841. dl.section dd {
  842. margin-bottom: 6px;
  843. }
  844. #projectlogo
  845. {
  846. text-align: center;
  847. vertical-align: bottom;
  848. border-collapse: separate;
  849. }
  850. #projectlogo img
  851. {
  852. border: 0px none;
  853. }
  854. #projectname
  855. {
  856. font: 300% Tahoma, Arial,sans-serif;
  857. margin: 0px;
  858. padding: 2px 0px;
  859. }
  860. #projectbrief
  861. {
  862. font: 120% Tahoma, Arial,sans-serif;
  863. margin: 0px;
  864. padding: 0px;
  865. }
  866. #projectnumber
  867. {
  868. font: 50% Tahoma, Arial,sans-serif;
  869. margin: 0px;
  870. padding: 0px;
  871. }
  872. #titlearea
  873. {
  874. padding: 0px;
  875. margin: 0px;
  876. width: 100%;
  877. border-bottom: 1px solid #5373B4;
  878. }
  879. .image
  880. {
  881. text-align: center;
  882. }
  883. .dotgraph
  884. {
  885. text-align: center;
  886. }
  887. .mscgraph
  888. {
  889. text-align: center;
  890. }
  891. .diagraph
  892. {
  893. text-align: center;
  894. }
  895. .caption
  896. {
  897. font-weight: bold;
  898. }
  899. div.zoom
  900. {
  901. border: 1px solid #90A5CE;
  902. }
  903. dl.citelist {
  904. margin-bottom:50px;
  905. }
  906. dl.citelist dt {
  907. color:#334975;
  908. float:left;
  909. font-weight:bold;
  910. margin-right:10px;
  911. padding:5px;
  912. }
  913. dl.citelist dd {
  914. margin:2px 0;
  915. padding:5px 0;
  916. }
  917. div.toc {
  918. padding: 14px 25px;
  919. background-color: #F4F6FA;
  920. border: 1px solid #D8DFEE;
  921. border-radius: 7px 7px 7px 7px;
  922. float: right;
  923. height: auto;
  924. margin: 0 20px 10px 10px;
  925. width: 200px;
  926. }
  927. div.toc li {
  928. background: url("bdwn.png") no-repeat scroll 0 5px transparent;
  929. font: 10px/1.2 Verdana,DejaVu Sans,Geneva,sans-serif;
  930. margin-top: 5px;
  931. padding-left: 10px;
  932. padding-top: 2px;
  933. }
  934. div.toc h3 {
  935. font: bold 12px/1.2 Arial,FreeSans,sans-serif;
  936. color: #4665A2;
  937. border-bottom: 0 none;
  938. margin: 0;
  939. }
  940. div.toc ul {
  941. list-style: none outside none;
  942. border: medium none;
  943. padding: 0px;
  944. }
  945. div.toc li.level1 {
  946. margin-left: 0px;
  947. }
  948. div.toc li.level2 {
  949. margin-left: 15px;
  950. }
  951. div.toc li.level3 {
  952. margin-left: 30px;
  953. }
  954. div.toc li.level4 {
  955. margin-left: 45px;
  956. }
  957. .inherit_header {
  958. font-weight: bold;
  959. color: gray;
  960. cursor: pointer;
  961. -webkit-touch-callout: none;
  962. -webkit-user-select: none;
  963. -khtml-user-select: none;
  964. -moz-user-select: none;
  965. -ms-user-select: none;
  966. user-select: none;
  967. }
  968. .inherit_header td {
  969. padding: 6px 0px 2px 5px;
  970. }
  971. .inherit {
  972. display: none;
  973. }
  974. tr.heading h2 {
  975. margin-top: 12px;
  976. margin-bottom: 4px;
  977. }
  978. /* tooltip related style info */
  979. .ttc {
  980. position: absolute;
  981. display: none;
  982. }
  983. #powerTip {
  984. cursor: default;
  985. white-space: nowrap;
  986. background-color: white;
  987. border: 1px solid gray;
  988. border-radius: 4px 4px 4px 4px;
  989. box-shadow: 1px 1px 7px gray;
  990. display: none;
  991. font-size: smaller;
  992. max-width: 80%;
  993. opacity: 0.9;
  994. padding: 1ex 1em 1em;
  995. position: absolute;
  996. z-index: 2147483647;
  997. }
  998. #powerTip div.ttdoc {
  999. color: grey;
  1000. font-style: italic;
  1001. }
  1002. #powerTip div.ttname a {
  1003. font-weight: bold;
  1004. }
  1005. #powerTip div.ttname {
  1006. font-weight: bold;
  1007. }
  1008. #powerTip div.ttdeci {
  1009. color: #006318;
  1010. }
  1011. #powerTip div {
  1012. margin: 0px;
  1013. padding: 0px;
  1014. font: 12px/16px Roboto,sans-serif;
  1015. }
  1016. #powerTip:before, #powerTip:after {
  1017. content: "";
  1018. position: absolute;
  1019. margin: 0px;
  1020. }
  1021. #powerTip.n:after, #powerTip.n:before,
  1022. #powerTip.s:after, #powerTip.s:before,
  1023. #powerTip.w:after, #powerTip.w:before,
  1024. #powerTip.e:after, #powerTip.e:before,
  1025. #powerTip.ne:after, #powerTip.ne:before,
  1026. #powerTip.se:after, #powerTip.se:before,
  1027. #powerTip.nw:after, #powerTip.nw:before,
  1028. #powerTip.sw:after, #powerTip.sw:before {
  1029. border: solid transparent;
  1030. content: " ";
  1031. height: 0;
  1032. width: 0;
  1033. position: absolute;
  1034. }
  1035. #powerTip.n:after, #powerTip.s:after,
  1036. #powerTip.w:after, #powerTip.e:after,
  1037. #powerTip.nw:after, #powerTip.ne:after,
  1038. #powerTip.sw:after, #powerTip.se:after {
  1039. border-color: rgba(255, 255, 255, 0);
  1040. }
  1041. #powerTip.n:before, #powerTip.s:before,
  1042. #powerTip.w:before, #powerTip.e:before,
  1043. #powerTip.nw:before, #powerTip.ne:before,
  1044. #powerTip.sw:before, #powerTip.se:before {
  1045. border-color: rgba(128, 128, 128, 0);
  1046. }
  1047. #powerTip.n:after, #powerTip.n:before,
  1048. #powerTip.ne:after, #powerTip.ne:before,
  1049. #powerTip.nw:after, #powerTip.nw:before {
  1050. top: 100%;
  1051. }
  1052. #powerTip.n:after, #powerTip.ne:after, #powerTip.nw:after {
  1053. border-top-color: #ffffff;
  1054. border-width: 10px;
  1055. margin: 0px -10px;
  1056. }
  1057. #powerTip.n:before {
  1058. border-top-color: #808080;
  1059. border-width: 11px;
  1060. margin: 0px -11px;
  1061. }
  1062. #powerTip.n:after, #powerTip.n:before {
  1063. left: 50%;
  1064. }
  1065. #powerTip.nw:after, #powerTip.nw:before {
  1066. right: 14px;
  1067. }
  1068. #powerTip.ne:after, #powerTip.ne:before {
  1069. left: 14px;
  1070. }
  1071. #powerTip.s:after, #powerTip.s:before,
  1072. #powerTip.se:after, #powerTip.se:before,
  1073. #powerTip.sw:after, #powerTip.sw:before {
  1074. bottom: 100%;
  1075. }
  1076. #powerTip.s:after, #powerTip.se:after, #powerTip.sw:after {
  1077. border-bottom-color: #ffffff;
  1078. border-width: 10px;
  1079. margin: 0px -10px;
  1080. }
  1081. #powerTip.s:before, #powerTip.se:before, #powerTip.sw:before {
  1082. border-bottom-color: #808080;
  1083. border-width: 11px;
  1084. margin: 0px -11px;
  1085. }
  1086. #powerTip.s:after, #powerTip.s:before {
  1087. left: 50%;
  1088. }
  1089. #powerTip.sw:after, #powerTip.sw:before {
  1090. right: 14px;
  1091. }
  1092. #powerTip.se:after, #powerTip.se:before {
  1093. left: 14px;
  1094. }
  1095. #powerTip.e:after, #powerTip.e:before {
  1096. left: 100%;
  1097. }
  1098. #powerTip.e:after {
  1099. border-left-color: #ffffff;
  1100. border-width: 10px;
  1101. top: 50%;
  1102. margin-top: -10px;
  1103. }
  1104. #powerTip.e:before {
  1105. border-left-color: #808080;
  1106. border-width: 11px;
  1107. top: 50%;
  1108. margin-top: -11px;
  1109. }
  1110. #powerTip.w:after, #powerTip.w:before {
  1111. right: 100%;
  1112. }
  1113. #powerTip.w:after {
  1114. border-right-color: #ffffff;
  1115. border-width: 10px;
  1116. top: 50%;
  1117. margin-top: -10px;
  1118. }
  1119. #powerTip.w:before {
  1120. border-right-color: #808080;
  1121. border-width: 11px;
  1122. top: 50%;
  1123. margin-top: -11px;
  1124. }
  1125. @media print
  1126. {
  1127. #top { display: none; }
  1128. #side-nav { display: none; }
  1129. #nav-path { display: none; }
  1130. body { overflow:visible; }
  1131. h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
  1132. .summary { display: none; }
  1133. .memitem { page-break-inside: avoid; }
  1134. #doc-content
  1135. {
  1136. margin-left:0 !important;
  1137. height:auto !important;
  1138. width:auto !important;
  1139. overflow:inherit;
  1140. display:inline;
  1141. }
  1142. }