Back to home page

EIC code displayed by LXR

 
 

    


Warning, /eicd/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 }