Warning, /EDM4eic/docs/doxygen-awesome.css is written in an unsupported language. File is not indexed.
0001 /**
0002
0003 Doxygen Awesome
0004 https://github.com/jothepro/doxygen-awesome-css
0005
0006 MIT License
0007
0008 Copyright (c) 2021 jothepro
0009
0010 Permission is hereby granted, free of charge, to any person obtaining a copy
0011 of this software and associated documentation files (the "Software"), to deal
0012 in the Software without restriction, including without limitation the rights
0013 to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
0014 copies of the Software, and to permit persons to whom the Software is
0015 furnished to do so, subject to the following conditions:
0016
0017 The above copyright notice and this permission notice shall be included in all
0018 copies or substantial portions of the Software.
0019
0020 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
0021 IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
0022 FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
0023 AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
0024 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
0025 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
0026 SOFTWARE.
0027
0028 */
0029
0030 :root {
0031 /* primary theme color. This will affect the entire websites color scheme: links, arrows, labels, ... */
0032 --primary-color: #1982d2;
0033 --primary-dark-color: #00559f;
0034 --primary-light-color: #7aabd6;
0035 --primary-lighter-color: #cae1f1;
0036 --primary-lightest-color: #e9f1f8;
0037
0038 /* page base colors */
0039 --page-background-color: white;
0040 --page-foreground-color: #2c3e50;
0041 --page-secondary-foreground-color: #67727e;
0042
0043 /* color for all separators on the website: hr, borders, ... */
0044 --separator-color: #dedede;
0045
0046 /* border radius for all rounded components. Will affect many components, like dropdowns, memitems, codeblocks, ... */
0047 --border-radius-large: 8px;
0048 --border-radius-small: 4px;
0049 --border-radius-medium: 6px;
0050
0051 /* default spacings. Most compontest reference these values for spacing, to provide uniform spacing on the page. */
0052 --spacing-small: 5px;
0053 --spacing-medium: 10px;
0054 --spacing-large: 16px;
0055
0056 /* default box shadow used for raising an element above the normal content. Used in dropdowns, Searchresult, ... */
0057 --box-shadow: 0 2px 10px 0 rgba(0,0,0,.1);
0058
0059 /* font-families. will affect all text on the website
0060 * font-family: the normal font for text, headlines, menus
0061 * font-family-monospace: used for preformatted text in memtitle, code, fragments
0062 */
0063 --font-family: -apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif;
0064 --font-family-monospace: source-code-pro,Menlo,Monaco,Consolas,Courier New,monospace;
0065
0066 /* font sizes */
0067 --page-font-size: 15.6px;
0068 --navigation-font-size: 14.4px;
0069 --code-font-size: 14.4px; /* affects code, fragment */
0070 --title-font-size: 22px;
0071
0072 /* content text properties. These only affect the page content, not the navigation or any other ui elements */
0073 --content-line-height: 27px;
0074 /* The content is centered and constraint in it's width. To make the content fill the whole page, set the variable to auto.*/
0075 --content-maxwidth: 900px;
0076
0077 /* colors for various content boxes: @warning, @note, @deprecated @bug */
0078 --warning-color: #fca49b;
0079 --warning-color-dark: #b61825;
0080 --warning-color-darker: #75070f;
0081 --note-color: rgba(255,229,100,.3);
0082 --note-color-dark: #c39900;
0083 --note-color-darker: #8d7400;
0084 --deprecated-color: rgb(214, 216, 224);
0085 --deprecated-color-dark: #5b6269;
0086 --deprecated-color-darker: #43454a;
0087 --bug-color: rgb(246, 208, 178);
0088 --bug-color-dark: #a53a00;
0089 --bug-color-darker: #5b1d00;
0090
0091 /* blockquote colors */
0092 --blockquote-background: #f5f5f5;
0093 --blockquote-foreground: #727272;
0094
0095 /* table colors */
0096 --tablehead-background: #f1f1f1;
0097 --tablehead-foreground: var(--page-foreground-color);
0098
0099 /* menu-display: block | none
0100 * Visibility of the top navigation on screens >= 768px. On smaller screen the menu is always visible.
0101 * `GENERATE_TREEVIEW` MUST be enabled!
0102 */
0103 --menu-display: block;
0104
0105 --menu-focus-foreground: var(--page-background-color);
0106 --menu-focus-background: var(--primary-color);
0107
0108
0109 --header-background: var(--page-background-color);
0110 --header-foreground: var(--page-foreground-color);
0111
0112 /* searchbar colors */
0113 --searchbar-background: var(--side-nav-background);
0114 --searchbar-foreground: var(--page-foreground-color);
0115
0116 /* searchbar size
0117 * (`searchbar-width` is only applied on screens >= 768px.
0118 * on smaller screens the searchbar will always fill the entire screen width) */
0119 --searchbar-height: 33px;
0120 --searchbar-width: 210px;
0121
0122 /* code block colors */
0123 --code-background: #f5f5f5;
0124 --code-foreground: var(--page-foreground-color);
0125
0126 /* fragment colors */
0127 --fragment-background: #282c34;
0128 --fragment-foreground: #fff;
0129 --fragment-keyword: #cc99cd;
0130 --fragment-keywordtype: #ab99cd;
0131 --fragment-token: #7ec699;
0132 --fragment-comment: #999;
0133 --fragment-link: #98c0e3;
0134 --fragment-preprocessor: #65cabe;
0135 --fragment-linenumber-color: #ccc;
0136 --fragment-linenumber-background: #35393c;
0137 --fragment-whitespace: nowrap;
0138
0139 /* sidebar navigation (treeview) colors */
0140 --side-nav-background: var(--page-background-color);
0141 --side-nav-foreground: var(--page-foreground-color);
0142 --side-nav-arrow-color: var(--page-background-color);
0143
0144 /* height of an item in any tree / collapsable table */
0145 --tree-item-height: 30px;
0146
0147 }
0148
0149 @media (prefers-color-scheme: dark) {
0150 :root {
0151 --primary-color: #00559f;
0152 --primary-dark-color: #1982d2;
0153 --primary-light-color: #4779ac;
0154 --primary-lighter-color: #191e21;
0155 --primary-lightest-color: #191a1c;
0156
0157 --box-shadow: 0 2px 10px 0 rgba(0,0,0,.35);
0158
0159 --page-background-color: #1C1D1F;
0160 --page-foreground-color: #d2dbde;
0161 --page-secondary-foreground-color: #859399;
0162 --separator-color: #000000;
0163 --side-nav-background: #252628;
0164
0165 --code-background: #2a2c2f;
0166
0167 --tablehead-background: #2a2c2f;
0168
0169 --blockquote-background: #1f2022;
0170 --blockquote-foreground: #77848a;
0171
0172 --warning-color: #b61825;
0173 --warning-color-dark: #510a02;
0174 --warning-color-darker: #f5b1aa;
0175 --note-color: rgb(255, 183, 0);
0176 --note-color-dark: #9f7300;
0177 --note-color-darker: #fff6df;
0178 --deprecated-color: rgb(88, 90, 96);
0179 --deprecated-color-dark: #262e37;
0180 --deprecated-color-darker: #a0a5b0;
0181 --bug-color: rgb(248, 113, 0);
0182 --bug-color-dark: #812a00;
0183 --bug-color-darker: #ffd3be;
0184 }
0185 }
0186
0187 body {
0188 color: var(--page-foreground-color);
0189 background-color: var(--page-background-color);
0190 font-size: var(--page-font-size);
0191 }
0192
0193 body, table, div, p, dl, #nav-tree .label, .title, .sm-dox a, .sm-dox a:hover, .sm-dox a:focus, #projectname, .SelectItem, #MSearchField, .navpath li.navelem a, .navpath li.navelem a:hover {
0194 font-family: var(--font-family);
0195 }
0196
0197 h1, h2, h3, h4, h5 {
0198 margin-top: .9em;
0199 font-weight: 600;
0200 line-height: initial;
0201 }
0202
0203 p, div, table, dl {
0204 font-size: var(--page-font-size);
0205 }
0206
0207 a, a.el:visited, a.el:hover, a.el:focus, a.el:active {
0208 color: var(--primary-dark-color);
0209 }
0210
0211 /*
0212 Title & top navigation
0213 */
0214 #top {
0215 background: var(--header-background);
0216 border-bottom: 1px solid var(--separator-color);
0217 }
0218
0219 @media screen and (min-width: 768px) {
0220 #top {
0221 display: flex;
0222 flex-wrap: wrap;
0223 justify-content: space-between;
0224 align-items: center;
0225 }
0226 }
0227
0228 #main-nav {
0229 flex-grow: 5;
0230 padding: var(--spacing-small) var(--spacing-medium);
0231 }
0232
0233 #titlearea {
0234 width: auto;
0235 padding: var(--spacing-medium) var(--spacing-large);
0236 background: none;
0237 color: var(--header-foreground);
0238 border-bottom: none;
0239 }
0240
0241 @media screen and (max-width: 767px) {
0242 #titlearea {
0243 padding-bottom: var(--spacing-small);
0244 }
0245
0246 }
0247
0248 #titlearea table tbody tr {
0249 height: auto !important;
0250 }
0251
0252 #projectname {
0253 font-size: var(--title-font-size);
0254 font-weight: 600;
0255 }
0256
0257 #projectnumber {
0258 font-family: inherit;
0259 font-size: 60%;
0260 }
0261
0262 #projectbrief {
0263 font-family: inherit;
0264 font-size: 80%;
0265 }
0266
0267 #projectlogo {
0268 vertical-align: middle;
0269 }
0270
0271 #projectlogo img {
0272 max-height: calc(var(--title-font-size) * 2);
0273 margin-right: var(--spacing-small);
0274 }
0275
0276 .sm-dox {
0277 background: none;
0278 padding: 0;
0279 }
0280
0281 @media screen and (max-width: 767px) {
0282 .sm-dox a span.sub-arrow {
0283 background: var(--code-background);
0284 }
0285 }
0286
0287
0288 @media screen and (min-width: 768px) {
0289 .sm-dox li {
0290 display: var(--menu-display);
0291 }
0292
0293 .sm-dox a span.sub-arrow {
0294 border-color: var(--header-foreground) transparent transparent transparent;
0295 }
0296
0297 .sm-dox a:hover span.sub-arrow {
0298 border-color: var(--menu-focus-foreground) transparent transparent transparent;
0299 }
0300
0301 .sm-dox ul a span.sub-arrow {
0302 border-color: transparent transparent transparent var(--header-foreground);
0303 }
0304
0305 .sm-dox ul a:hover span.sub-arrow {
0306 border-color: transparent transparent transparent var(--menu-focus-foreground);
0307 }
0308
0309
0310 }
0311
0312 .sm-dox ul {
0313 background: var(--page-background-color);
0314 box-shadow: var(--box-shadow);
0315 border: 1px solid var(--separator-color);
0316 border-radius: var(--border-radius-medium) !important;
0317 padding: var(--spacing-small);
0318 animation: ease-out 150ms slideInMenu;
0319 }
0320
0321 @keyframes slideInMenu {
0322 from {
0323 opacity: 0;
0324 transform: translate(0px, -2px);
0325 }
0326
0327 to {
0328 opacity: 1;
0329 transform: translate(0px, 0px);
0330 }
0331 }
0332
0333 .sm-dox ul a {
0334 color: var(--page-foreground-color);
0335 background: var(--page-background-color);
0336 font-size: var(--navigation-font-size);
0337 }
0338
0339 .sm-dox>li>ul:after {
0340 border-bottom-color: var(--page-background-color) !important;
0341 }
0342
0343 .sm-dox>li>ul:before {
0344 border-bottom-color: var(--separator-color) !important;
0345 }
0346
0347 .sm-dox ul a:hover, .sm-dox ul a:active, .sm-dox ul a:focus {
0348 font-size: var(--navigation-font-size);
0349 color: var(--menu-focus-foreground);
0350 text-shadow: none;
0351 background-color: var(--menu-focus-background);
0352 border-radius: var(--border-radius-small) !important;
0353 }
0354
0355 .sm-dox a, .sm-dox a:focus {
0356 text-shadow: none;
0357 background: transparent;
0358 background-image: none !important;
0359 color: var(--header-foreground);
0360 font-weight: normal;
0361 font-size: var(--navigation-font-size);
0362
0363 }
0364
0365 .sm-dox a:hover, .sm-dox a:active {
0366 text-shadow: none;
0367 font-weight: normal;
0368 background: var(--menu-focus-background);
0369 color: var(--menu-focus-foreground);
0370 border-radius: var(--border-radius-small) !important;
0371 font-size: var(--navigation-font-size);
0372 }
0373
0374
0375 /*
0376 Search box
0377 */
0378
0379 #MSearchBox {
0380 height: var(--searchbar-height);
0381 background: var(--searchbar-background);
0382 border-radius: var(--searchbar-height);
0383 border: 1px solid var(--separator-color);
0384 overflow: hidden;
0385 width: var(--searchbar-width);
0386 position: relative;
0387 box-shadow: none;
0388 }
0389
0390 #main-menu > li:last-child {
0391 margin-right: 0;
0392 }
0393
0394 @media screen and (max-width: 767px) {
0395 #main-menu > li:last-child {
0396 height: 50px;
0397 }
0398 }
0399
0400 #MSearchField {
0401 font-size: var(--navigation-font-size);
0402 height: calc(var(--searchbar-height) - 2px);
0403 background: var(--searchbar-background);
0404 width: calc(var(--searchbar-width) - 60px);
0405 }
0406
0407 .MSearchBoxActive #MSearchField {
0408 color: var(--searchbar-foreground);
0409 }
0410
0411 #MSearchSelect {
0412 top: calc(calc(var(--searchbar-height) / 2) - 11px);
0413 }
0414
0415 .left #MSearchSelect {
0416 padding-left: 8px;
0417 }
0418
0419 #MSearchBox span.left, #MSearchBox span.right {
0420 background: none;
0421 }
0422
0423
0424 #MSearchBox span.right {
0425 padding-top: calc(calc(var(--searchbar-height) / 2) - 12px);
0426 }
0427
0428 @keyframes slideInSearchResults {
0429 from {
0430 opacity: 0;
0431 transform: translate(0, 15px);
0432 }
0433
0434 to {
0435 opacity: 1;
0436 transform: translate(0, 20px);
0437 }
0438 }
0439
0440 #MSearchResultsWindow {
0441 left: auto !important;
0442 right: var(--spacing-medium);
0443 border-radius: var(--border-radius-large);
0444 border: 1px solid var(--separator-color);
0445 transform: translate(0, 20px);
0446 box-shadow: var(--box-shadow);
0447 animation: ease-out 280ms slideInSearchResults;
0448 background: var(--page-background-color);
0449 }
0450
0451 iframe#MSearchResults {
0452 background: var(--page-background-color);
0453 margin: 4px;
0454 }
0455
0456 #MSearchSelectWindow {
0457 border: 1px solid var(--separator-color);
0458 border-radius: var(--border-radius-medium);
0459 box-shadow: var(--box-shadow);
0460 background: var(--page-background-color);
0461 }
0462
0463 #MSearchSelectWindow a.SelectItem {
0464 font-size: var(--navigation-font-size);
0465 line-height: var(--content-line-height);
0466 margin: 0 var(--spacing-small);
0467 border-radius: var(--border-radius-small);
0468 color: var(--page-foreground-color);
0469 }
0470
0471 #MSearchSelectWindow a.SelectItem:hover {
0472 background: var(--menu-focus-background);
0473 color: var(--menu-focus-foreground);
0474 }
0475
0476
0477
0478 @media screen and (max-width: 767px) {
0479 #MSearchBox {
0480 margin-top: var(--spacing-medium);
0481 margin-bottom: var(--spacing-medium);
0482 width: calc(100vw - 32px);
0483 }
0484
0485 #main-menu > li:last-child {
0486 float: none !important;
0487 }
0488
0489 #MSearchField {
0490 width: calc(100vw - 95px);
0491 }
0492
0493 @keyframes slideInSearchResultsMobile {
0494 from {
0495 opacity: 0;
0496 transform: translate(0, 15px);
0497 }
0498
0499 to {
0500 opacity: 1;
0501 transform: translate(0, 20px);
0502 }
0503 }
0504
0505 #MSearchResultsWindow {
0506 left: var(--spacing-medium) !important;
0507 right: var(--spacing-medium);
0508 overflow: scroll;
0509 transform: translate(0, 20px);
0510 animation: ease-out 280ms slideInSearchResultsMobile;
0511 }
0512
0513
0514 }
0515
0516 /*
0517 Tree view
0518 */
0519
0520 #side-nav {
0521 padding: 0 !important;
0522 background: var(--side-nav-background);
0523 }
0524
0525 @media screen and (max-width: 767px) {
0526 #side-nav {
0527 display: none;
0528 }
0529
0530 #doc-content {
0531 margin-left: 0 !important;
0532 height: auto !important;
0533 padding-bottom: calc(2 * var(--spacing-large));
0534 }
0535 }
0536
0537 #nav-tree {
0538 background: transparent;
0539 }
0540
0541 #nav-tree .label {
0542 font-size: var(--navigation-font-size);
0543 }
0544
0545 #nav-tree .item {
0546 height: var(--tree-item-height);
0547 line-height: var(--tree-item-height);
0548 }
0549
0550 #nav-sync {
0551 top: 12px !important;
0552 right: 12px;
0553 }
0554
0555 #nav-tree .selected {
0556 text-shadow: none;
0557 background-image: none;
0558 background-color: transparent;
0559 box-shadow: inset 4px 0 0 0 var(--primary-dark-color);
0560 }
0561
0562 #nav-tree a {
0563 color: var(--side-nav-foreground);
0564 }
0565
0566 .arrow {
0567 color: var(--primary-light-color);
0568 font-family: serif;
0569 height: auto;
0570 text-align: right;
0571 }
0572
0573 #nav-tree .arrow {
0574 opacity: 0;
0575 }
0576
0577 #nav-tree div.item:hover .arrow {
0578 opacity: 1;
0579 }
0580
0581 #nav-tree .selected a {
0582 color: var(--primary-dark-color);
0583 font-weight: bolder;
0584 }
0585
0586 .ui-resizable-e {
0587 background: var(--separator-color);
0588 width: 1px;
0589 }
0590
0591 /**
0592 content
0593 */
0594
0595 div.header {
0596 border-bottom: 1px solid var(--separator-color);
0597 background-color: var(--page-background-color);
0598 background-image: none;
0599 }
0600
0601 div.contents, div.header .title, div.header .summary {
0602 max-width: var(--content-maxwidth);
0603 }
0604
0605 div.contents, div.header .title {
0606 line-height: initial;
0607 margin: calc(var(--spacing-medium) + .2em) auto var(--spacing-medium) auto;
0608 }
0609
0610 div.header .summary {
0611 margin: var(--spacing-medium) auto 0 auto;
0612 }
0613
0614 div.headertitle {
0615 padding: 0;
0616 }
0617
0618 div.header .title {
0619 font-weight: 600;
0620 font-size: 210%;
0621 padding: var(--spacing-medium) var(--spacing-large);
0622 word-break: break-word;
0623 }
0624
0625 div.header .summary {
0626 width: auto;
0627 display: block;
0628 float: none;
0629 padding: 0 var(--spacing-large);
0630 }
0631
0632 td.memSeparator {
0633 border-color: var(--separator-color);
0634 }
0635
0636 .mdescLeft, .mdescRight, .memItemLeft, .memItemRight, .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
0637 background: var(--code-background);
0638 }
0639
0640 .mdescRight {
0641 color: var(--page-secondary-foreground-color);
0642 }
0643
0644 span.mlabel {
0645 background: var(--primary-color);
0646 border: none;
0647 padding: 4px 9px;
0648 border-radius: 12px;
0649 margin-right: var(--spacing-medium);
0650 }
0651
0652 span.mlabel:last-of-type {
0653 margin-right: 2px;
0654 }
0655
0656 div.contents {
0657 padding: 0 var(--spacing-large);
0658 }
0659
0660 div.contents p, div.contents li {
0661 line-height: var(--content-line-height);
0662 }
0663
0664 div.contents div.dyncontent {
0665 margin: var(--spacing-medium) 0;
0666 }
0667
0668 @media (prefers-color-scheme: dark) {
0669 div.contents div.dyncontent img {
0670 filter: hue-rotate(180deg) invert();
0671 }
0672 }
0673
0674 h2.groupheader {
0675 border-bottom: 1px solid var(--separator-color);
0676 color: var(--page-foreground-color);
0677 }
0678
0679 blockquote {
0680 padding: var(--spacing-small) var(--spacing-medium);
0681 background: var(--blockquote-background);
0682 color: var(--blockquote-foreground);
0683 border-left: 2px solid var(--blockquote-foreground);
0684 margin: 0;
0685 }
0686
0687 blockquote p {
0688 margin: var(--spacing-small) 0 var(--spacing-medium) 0;
0689 }
0690 .paramname {
0691 color: var(--primary-dark-color);
0692 }
0693
0694 .glow {
0695 text-shadow: 0 0 15px var(--primary-light-color) !important;
0696 }
0697
0698 .alphachar a {
0699 color: var(--page-foreground-color);
0700 }
0701
0702 /*
0703 toc
0704 */
0705
0706
0707
0708 div.toc {
0709 background-color: var(--side-nav-background);
0710 border: 1px solid var(--separator-color);
0711 border-radius: var(--border-radius-medium);
0712 box-shadow: var(--box-shadow);
0713 padding: 0 var(--spacing-large);
0714 margin: 0 0 var(--spacing-medium) var(--spacing-medium);
0715 }
0716
0717 div.toc h3 {
0718 color: var(--side-nav-foreground);
0719 font-size: var(--navigation-font-size);
0720 margin: var(--spacing-large) 0;
0721 }
0722
0723 div.toc li {
0724 font-size: var(--navigation-font-size);
0725 padding: 0;
0726 background: none;
0727 }
0728
0729 div.toc li:before {
0730 content: '↓';
0731 font-weight: 800;
0732 font-family: var(--font-family);
0733 margin-right: var(--spacing-small);
0734 color: var(--side-nav-foreground);
0735 opacity: .4;
0736 }
0737
0738 div.toc ul li.level1 {
0739 margin: 0;
0740 }
0741
0742 div.toc ul li.level2, div.toc ul li.level3 {
0743 margin-top: 0;
0744 }
0745
0746
0747 @media screen and (max-width: 767px) {
0748 div.toc {
0749 float: none;
0750 width: auto;
0751 margin: 0 0 var(--spacing-medium) 0;
0752 }
0753 }
0754
0755 /*
0756 code & fragment
0757 */
0758
0759 code, div.fragment, pre.fragment {
0760 border-radius: var(--border-radius-small);
0761 border: none;
0762 overflow: hidden;
0763 }
0764
0765 code {
0766 display: inline;
0767 background: var(--code-background);
0768 color: var(--code-foreground);
0769 padding: 2px 6px;
0770 }
0771
0772 div.fragment, pre.fragment {
0773 margin: var(--spacing-medium) 0;
0774 padding: 14px 16px;
0775 background: var(--fragment-background);
0776 color: var(--fragment-foreground);
0777 overflow-x: auto;
0778 }
0779
0780 @media screen and (max-width: 767px) {
0781 div.fragment, pre.fragment {
0782 border-top-right-radius: 0;
0783 border-bottom-right-radius: 0;
0784 }
0785
0786 .contents > div.fragment, .textblock > div.fragment, .textblock > pre.fragment {
0787 margin: var(--spacing-medium) calc(0px - var(--spacing-large));
0788 border-radius: 0;
0789 }
0790
0791 .textblock li > .fragment {
0792 margin: var(--spacing-medium) calc(0px - var(--spacing-large));
0793 }
0794
0795 .memdoc li > .fragment {
0796 margin: var(--spacing-medium) calc(0px - var(--spacing-medium));
0797 }
0798
0799 .memdoc > div.fragment, .memdoc > pre.fragment, dl dd > div.fragment, dl dd pre.fragment {
0800 margin: var(--spacing-medium) calc(0px - var(--spacing-medium));
0801 border-radius: 0;
0802 }
0803 }
0804
0805 code, code a, pre.fragment, div.fragment, div.fragment .line, div.fragment span {
0806 font-family: var(--font-family-monospace);
0807 font-size: var(--code-font-size);
0808 line-height: inherit;
0809 }
0810
0811 div.fragment, div.fragment .line, div.fragment span {
0812 white-space: var(--fragment-whitespace);
0813 }
0814
0815 div.line:after {
0816 content: '';
0817 }
0818
0819 div.fragment span.keyword {
0820 color: var(--fragment-keyword);
0821 }
0822
0823 div.fragment span.keywordtype {
0824 color: var(--fragment-keywordtype);
0825 }
0826
0827 div.fragment span.stringliteral {
0828 color: var(--fragment-token)
0829 }
0830
0831 div.fragment span.comment {
0832 color: var(--fragment-comment);
0833 }
0834
0835 div.fragment a.code {
0836 color: var(--fragment-link);
0837 }
0838
0839 div.fragment span.preprocessor {
0840 color: var(--fragment-preprocessor);
0841 }
0842
0843 div.fragment span.lineno {
0844 display: inline-block;
0845 width: 27px;
0846 border-right: none;
0847 background: var(--fragment-linenumber-background);
0848 color: var(--fragment-linenumber-color);
0849 }
0850
0851 div.fragment span.lineno a {
0852 background: none;
0853 color: var(--fragment-link);
0854 }
0855
0856 div.fragment .line:first-child .lineno {
0857 box-shadow: -9999px 0px 0 9999px var(--fragment-linenumber-background), -9998px 0px 0 9999px rgba(0,0,0,.3);
0858 }
0859
0860 /*
0861 dl warning, attention, note, deprecated, bug, ...
0862 */
0863
0864 dl.warning, dl.attention, dl.note, dl.deprecated, dl.bug {
0865 padding: var(--spacing-medium);
0866 margin: var(--spacing-medium) 0;
0867 color: var(--page-background-color);
0868 overflow: hidden;
0869 margin-left: 0;
0870 border-radius: var(--border-radius-small);
0871 }
0872
0873 dl.warning, dl.attention {
0874 background: var(--warning-color);
0875 border-left: 8px solid var(--warning-color-dark);
0876 color: var(--warning-color-darker);
0877 }
0878
0879 dl.warning dt, dl.attention dt {
0880 color: var(--warning-color-dark);
0881 }
0882
0883 dl.note {
0884 background: var(--note-color);
0885 border-left: 8px solid var(--note-color-dark);
0886 color: var(--note-color-darker);
0887 }
0888
0889 dl.note dt {
0890 color: var(--note-color-dark);
0891 }
0892
0893 dl.bug {
0894 background: var(--bug-color);
0895 border-left: 8px solid var(--bug-color-dark);
0896 color: var(--bug-color-darker);
0897 }
0898
0899 dl.bug dt a {
0900 color: var(--bug-color-dark) !important;
0901 }
0902
0903 dl.deprecated {
0904 background: var(--deprecated-color);
0905 border-left: 8px solid var(--deprecated-color-dark);
0906 color: var(--deprecated-color-darker);
0907 }
0908
0909 dl.deprecated dt a {
0910 color: var(--deprecated-color-dark) !important;
0911 }
0912
0913 dl.section dd, dl.bug dd, dl.deprecated dd {
0914 margin-inline-start: 0px;
0915 }
0916
0917 /*
0918 memitem
0919 */
0920
0921 div.memdoc, div.memproto, h2.memtitle {
0922 box-shadow: none;
0923 background-image: none;
0924 border: none;
0925 }
0926
0927 div.memdoc {
0928 padding: 0 var(--spacing-medium);
0929 background: var(--page-background-color);
0930 }
0931
0932 h2.memtitle, div.memitem {
0933 border: 1px solid var(--separator-color);
0934 }
0935
0936 div.memproto, h2.memtitle {
0937 background: var(--code-background);
0938 text-shadow: none;
0939 }
0940
0941 h2.memtitle {
0942 font-weight: 500;
0943 font-family: monospace, fixed;
0944 border-bottom: none;
0945 border-top-left-radius: var(--border-radius-medium);
0946 border-top-right-radius: var(--border-radius-medium);
0947 }
0948
0949 a:target + h2.memtitle, a:target + h2.memtitle + div.memitem {
0950 border-color: var(--primary-light-color);
0951 }
0952
0953 a:target + h2.memtitle {
0954 box-shadow: -3px -3px 3px 0 var(--primary-lightest-color), 3px -3px 3px 0 var(--primary-lightest-color);
0955 }
0956
0957 a:target + h2.memtitle + div.memitem {
0958 box-shadow: 0 0 10px 0 var(--primary-lighter-color);
0959 }
0960
0961 div.memitem {
0962 border-top-right-radius: var(--border-radius-medium);
0963 border-bottom-right-radius: var(--border-radius-medium);
0964 border-bottom-left-radius: var(--border-radius-medium);
0965 overflow: hidden;
0966 display: block !important;
0967 }
0968
0969 div.memdoc {
0970 border-radius: 0;
0971 }
0972
0973 div.memproto {
0974 border-radius: 0 var(--border-radius-small) 0 0;
0975 overflow: auto;
0976 border-bottom: 1px solid var(--separator-color);
0977 padding: var(--spacing-medium);
0978 }
0979
0980 div.memtitle {
0981 border-top-right-radius: var(--border-radius-medium);
0982 border-top-left-radius: var(--border-radius-medium);
0983 }
0984
0985 div.memproto table.memname {
0986 font-family: monospace, fixed;
0987 color: var(--page-foreground-color);
0988 }
0989
0990 table.mlabels, table.mlabels > tbody {
0991 display: block;
0992 }
0993
0994 td.mlabels-left {
0995 width: auto;
0996 }
0997
0998 table.mlabels > tbody > tr:first-child {
0999 display: flex;
1000 justify-content: space-between;
1001 flex-wrap: wrap;
1002 }
1003
1004 .memname, .memitem span.mlabels {
1005 margin: 0
1006 }
1007 /*
1008 reflist
1009 */
1010
1011 dl.reflist {
1012 border-radius: var(--border-radius-medium);
1013 border: 1px solid var(--separator-color);
1014 overflow: hidden;
1015 padding: 0;
1016 }
1017
1018
1019 dl.reflist dt, dl.reflist dd {
1020 box-shadow: none;
1021 text-shadow: none;
1022 background-image: none;
1023 border: none;
1024 padding: 12px;
1025 }
1026
1027
1028 dl.reflist dt {
1029 background: var(--code-background);
1030 border-bottom: 1px solid var(--separator-color);
1031 color: var(--page-foreground-color)
1032 }
1033
1034
1035 dl.reflist dd {
1036 background: none;
1037 }
1038
1039 /*
1040 table
1041 */
1042
1043 table.markdownTable, table.fieldtable {
1044 width: 100%;
1045 border: 1px solid var(--separator-color);
1046 margin: var(--spacing-medium) 0;
1047 }
1048
1049 table.fieldtable {
1050 box-shadow: none;
1051 border-radius: var(--border-radius-small);
1052 }
1053
1054 th.markdownTableHeadLeft, th.markdownTableHeadRight, th.markdownTableHeadCenter, th.markdownTableHeadNone {
1055 background: var(--tablehead-background);
1056 color: var(--tablehead-foreground);
1057 font-weight: 600;
1058 }
1059
1060 table.markdownTable td, table.markdownTable th, table.fieldtable dt {
1061 border: 1px solid var(--separator-color);
1062 padding: var(--spacing-small) var(--spacing-medium);
1063 }
1064
1065 table.fieldtable th {
1066 font-size: var(--page-font-size);
1067 font-weight: 600;
1068 background-image: none;
1069 background-color: var(--tablehead-background);
1070 color: var(--tablehead-foreground);
1071 border-bottom: 1px solid var(--separator-color);
1072 }
1073
1074 .fieldtable td.fieldtype, .fieldtable td.fieldname {
1075 border-bottom: 1px solid var(--separator-color);
1076 border-right: 1px solid var(--separator-color);
1077 }
1078
1079 .fieldtable td.fielddoc {
1080 border-bottom: 1px solid var(--separator-color);
1081 }
1082
1083 .memberdecls td.glow, .fieldtable tr.glow {
1084 background-color: var(--primary-light-color);
1085 box-shadow: 0 0 15px var(--primary-lighter-color);
1086 }
1087
1088
1089 /*
1090 hr
1091 */
1092
1093 hr {
1094 margin-top: var(--spacing-large);
1095 margin-bottom: var(--spacing-large);
1096 border-top:1px solid var(--separator-color);
1097 }
1098
1099 .contents hr {
1100 box-shadow: var(--content-maxwidth) 0 0 0 var(--separator-color), calc(0px - var(--content-maxwidth)) 0 0 0 var(--separator-color);
1101
1102 }
1103
1104 .contents img {
1105 max-width: 100%;
1106 }
1107
1108 /*
1109 directories
1110 */
1111 div.directory {
1112 border-top: 1px solid var(--separator-color);
1113 border-bottom: 1px solid var(--separator-color);
1114 }
1115
1116 table.directory {
1117 font-family: var(--font-family);
1118 font-size: var(--page-font-size);
1119 font-weight: normal;
1120 }
1121
1122 .directory td.entry {
1123 padding: var(--spacing-small);
1124 display: flex;
1125 align-items: center;
1126 }
1127
1128 .directory tr.even {
1129 background-color: rgba(0,0,0,.025);
1130 }
1131
1132 .icona {
1133 width: auto;
1134 height: auto;
1135 margin: 0 var(--spacing-small);
1136 }
1137
1138 .icon {
1139 background: var(--primary-dark-color);
1140 width: 18px;
1141 height: 18px;
1142 line-height: 18px;
1143 }
1144
1145 .iconfopen, .icondoc, .iconfclosed {
1146 background-position: center;
1147 margin-bottom: 0;
1148 }
1149
1150 .icondoc {
1151 filter: saturate(0.2);
1152 }
1153
1154 @media (prefers-color-scheme: dark) {
1155 .iconfopen, .iconfclosed {
1156 filter: hue-rotate(180deg) invert();
1157 }
1158 }
1159
1160
1161 /*
1162 footer / nav-path
1163 */
1164
1165 #nav-path {
1166 margin-bottom: -1px;
1167 width: 100%;
1168 }
1169
1170 #nav-path ul {
1171 background-image: none;
1172 background: var(--page-background-color);
1173 border: none;
1174 border-top: 1px solid var(--separator-color);
1175 border-bottom: 1px solid var(--separator-color);
1176 font-size: var(--navigation-font-size);
1177 }
1178
1179 img.footer {
1180 width: 60px;
1181 }
1182
1183 .navpath li.footer {
1184 color: var(--page-secondary-foreground-color);
1185 }
1186
1187 address.footer {
1188 margin-bottom: var(--spacing-large);
1189 }
1190
1191 #nav-path li.navelem {
1192 background-image: none;
1193 display: flex;
1194 align-items: center;
1195 }
1196
1197 .navpath li.navelem a {
1198 text-shadow: none;
1199 display: inline-block;
1200 color: var(--primary-dark-color)
1201 }
1202
1203 li.navelem {
1204 padding: 0;
1205 margin-left: -8px;
1206 }
1207
1208 li.navelem:first-child {
1209 margin-left: var(--spacing-large);
1210 }
1211
1212 li.navelem:first-child:before {
1213 display: none;
1214 }
1215
1216 #nav-path li.navelem:after {
1217 content: '';
1218 border: 5px solid var(--page-background-color);
1219 border-bottom-color: transparent;
1220 border-right-color: transparent;
1221 border-top-color: transparent;
1222 transform: scaleY(4.2);
1223 z-index: 10;
1224 margin-left: 6px;
1225 }
1226
1227 #nav-path li.navelem:before {
1228 content: '';
1229 border: 5px solid var(--separator-color);
1230 border-bottom-color: transparent;
1231 border-right-color: transparent;
1232 border-top-color: transparent;
1233 transform: scaleY(3.2);
1234 margin-right: var(--spacing-small);
1235 }
1236
1237 @media (prefers-color-scheme: dark) {
1238 #nav-path li.navelem:after {
1239 text-shadow: 3px 0 0 var(--separator-color), 8px 0 6px rgba(0,0,0,0.4);
1240 }
1241 }
1242
1243 .navpath li.navelem a:hover {
1244 color: var(--primary-color);
1245 }