Warning, /juggler/doc/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 html {
0031 /* primary theme color. This will affect the entire websites color scheme: links, arrows, labels, ... */
0032 --primary-color: #1779c4;
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 --odd-color: rgba(0,0,0,.03);
0060
0061 /* font-families. will affect all text on the website
0062 * font-family: the normal font for text, headlines, menus
0063 * font-family-monospace: used for preformatted text in memtitle, code, fragments
0064 */
0065 --font-family: -apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif;
0066 --font-family-monospace: source-code-pro,Menlo,Monaco,Consolas,Courier New,monospace;
0067
0068 /* font sizes */
0069 --page-font-size: 15.6px;
0070 --navigation-font-size: 14.4px;
0071 --code-font-size: 14.4px; /* affects code, fragment */
0072 --title-font-size: 22px;
0073
0074 /* content text properties. These only affect the page content, not the navigation or any other ui elements */
0075 --content-line-height: 27px;
0076 /* The content is centered and constraint in it's width. To make the content fill the whole page, set the variable to auto.*/
0077 --content-maxwidth: 900px;
0078
0079 /* colors for various content boxes: @warning, @note, @deprecated @bug */
0080 --warning-color: #fca49b;
0081 --warning-color-dark: #b61825;
0082 --warning-color-darker: #75070f;
0083 --note-color: rgba(255,229,100,.3);
0084 --note-color-dark: #c39900;
0085 --note-color-darker: #8d7400;
0086 --deprecated-color: rgb(214, 216, 224);
0087 --deprecated-color-dark: #5b6269;
0088 --deprecated-color-darker: #43454a;
0089 --bug-color: rgb(246, 208, 178);
0090 --bug-color-dark: #a53a00;
0091 --bug-color-darker: #5b1d00;
0092 --invariant-color: #b7f8d0;
0093 --invariant-color-dark: #00ba44;
0094 --invariant-color-darker: #008622;
0095
0096 /* blockquote colors */
0097 --blockquote-background: #f5f5f5;
0098 --blockquote-foreground: #727272;
0099
0100 /* table colors */
0101 --tablehead-background: #f1f1f1;
0102 --tablehead-foreground: var(--page-foreground-color);
0103
0104 /* menu-display: block | none
0105 * Visibility of the top navigation on screens >= 768px. On smaller screen the menu is always visible.
0106 * `GENERATE_TREEVIEW` MUST be enabled!
0107 */
0108 --menu-display: block;
0109
0110 --menu-focus-foreground: var(--page-background-color);
0111 --menu-focus-background: var(--primary-color);
0112 --menu-selected-background: rgba(0,0,0,.05);
0113
0114
0115 --header-background: var(--page-background-color);
0116 --header-foreground: var(--page-foreground-color);
0117
0118 /* searchbar colors */
0119 --searchbar-background: var(--side-nav-background);
0120 --searchbar-foreground: var(--page-foreground-color);
0121
0122 /* searchbar size
0123 * (`searchbar-width` is only applied on screens >= 768px.
0124 * on smaller screens the searchbar will always fill the entire screen width) */
0125 --searchbar-height: 33px;
0126 --searchbar-width: 210px;
0127
0128 /* code block colors */
0129 --code-background: #f5f5f5;
0130 --code-foreground: var(--page-foreground-color);
0131
0132 /* fragment colors */
0133 --fragment-background: #282c34;
0134 --fragment-foreground: #ffffff;
0135 --fragment-keyword: #cc99cd;
0136 --fragment-keywordtype: #ab99cd;
0137 --fragment-keywordflow: #e08000;
0138 --fragment-token: #7ec699;
0139 --fragment-comment: #999999;
0140 --fragment-link: #98c0e3;
0141 --fragment-preprocessor: #65cabe;
0142 --fragment-linenumber-color: #cccccc;
0143 --fragment-linenumber-background: #35393c;
0144 --fragment-linenumber-border: #1f1f1f;
0145 --fragment-lineheight: 20px;
0146
0147 /* sidebar navigation (treeview) colors */
0148 --side-nav-background: #fbfbfb;
0149 --side-nav-foreground: var(--page-foreground-color);
0150 --side-nav-arrow-opacity: 0;
0151 --side-nav-arrow-hover-opacity: 0.9;
0152
0153 /* height of an item in any tree / collapsable table */
0154 --tree-item-height: 30px;
0155
0156 --darkmode-toggle-button-icon: '☀️'
0157 }
0158
0159 @media screen and (max-width: 767px) {
0160 html {
0161 --page-font-size: 16px;
0162 --navigation-font-size: 16px;
0163 --code-font-size: 15px; /* affects code, fragment */
0164 --title-font-size: 22px;
0165 }
0166 }
0167
0168 @media (prefers-color-scheme: dark) {
0169 html:not(.light-mode) {
0170 --primary-color: #1982d2;
0171 --primary-dark-color: #5ca8e2;
0172 --primary-light-color: #4779ac;
0173 --primary-lighter-color: #191e21;
0174 --primary-lightest-color: #191a1c;
0175
0176 --box-shadow: 0 2px 10px 0 rgba(0,0,0,.35);
0177
0178 --odd-color: rgba(0,0,0,.1);
0179
0180 --menu-selected-background: rgba(0,0,0,.4);
0181
0182 --page-background-color: #1C1D1F;
0183 --page-foreground-color: #d2dbde;
0184 --page-secondary-foreground-color: #859399;
0185 --separator-color: #000000;
0186 --side-nav-background: #252628;
0187
0188 --code-background: #2a2c2f;
0189
0190 --tablehead-background: #2a2c2f;
0191
0192 --blockquote-background: #1f2022;
0193 --blockquote-foreground: #77848a;
0194
0195 --warning-color: #b61825;
0196 --warning-color-dark: #510a02;
0197 --warning-color-darker: #f5b1aa;
0198 --note-color: rgb(255, 183, 0);
0199 --note-color-dark: #9f7300;
0200 --note-color-darker: #fff6df;
0201 --deprecated-color: rgb(88, 90, 96);
0202 --deprecated-color-dark: #262e37;
0203 --deprecated-color-darker: #a0a5b0;
0204 --bug-color: rgb(248, 113, 0);
0205 --bug-color-dark: #812a00;
0206 --bug-color-darker: #ffd3be;
0207
0208 --darkmode-toggle-button-icon: '🌛';
0209 }
0210 }
0211
0212 /* dark mode variables are defined twice, to support both the dark-mode without and with doxygen-awesome-darkmode-toggle.js */
0213 html.dark-mode {
0214 --primary-color: #1982d2;
0215 --primary-dark-color: #5ca8e2;
0216 --primary-light-color: #4779ac;
0217 --primary-lighter-color: #191e21;
0218 --primary-lightest-color: #191a1c;
0219
0220 --box-shadow: 0 2px 10px 0 rgba(0,0,0,.35);
0221
0222 --odd-color: rgba(0,0,0,.1);
0223
0224 --menu-selected-background: rgba(0,0,0,.4);
0225
0226 --page-background-color: #1C1D1F;
0227 --page-foreground-color: #d2dbde;
0228 --page-secondary-foreground-color: #859399;
0229 --separator-color: #000000;
0230 --side-nav-background: #252628;
0231
0232 --code-background: #2a2c2f;
0233
0234 --tablehead-background: #2a2c2f;
0235
0236 --blockquote-background: #1f2022;
0237 --blockquote-foreground: #77848a;
0238
0239 --warning-color: #b61825;
0240 --warning-color-dark: #510a02;
0241 --warning-color-darker: #f5b1aa;
0242 --note-color: rgb(255, 183, 0);
0243 --note-color-dark: #9f7300;
0244 --note-color-darker: #fff6df;
0245 --deprecated-color: rgb(88, 90, 96);
0246 --deprecated-color-dark: #262e37;
0247 --deprecated-color-darker: #a0a5b0;
0248 --bug-color: rgb(248, 113, 0);
0249 --bug-color-dark: #812a00;
0250 --bug-color-darker: #ffd3be;
0251
0252 --darkmode-toggle-button-icon: '🌛';
0253 }
0254
0255 body {
0256 color: var(--page-foreground-color);
0257 background-color: var(--page-background-color);
0258 font-size: var(--page-font-size);
0259 }
0260
0261 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 {
0262 font-family: var(--font-family);
0263 }
0264
0265 h1, h2, h3, h4, h5 {
0266 margin-top: .9em;
0267 font-weight: 600;
0268 line-height: initial;
0269 }
0270
0271 p, div, table, dl {
0272 font-size: var(--page-font-size);
0273 }
0274
0275 a:link, a:visited, a:hover, a:focus, a:active {
0276 color: var(--primary-color) !important;
0277 font-weight: 500;
0278 }
0279
0280 /*
0281 Title and top navigation
0282 */
0283
0284 #top {
0285 background: var(--header-background);
0286 border-bottom: 1px solid var(--separator-color);
0287 }
0288
0289 @media screen and (min-width: 768px) {
0290 #top {
0291 display: flex;
0292 flex-wrap: wrap;
0293 justify-content: space-between;
0294 align-items: center;
0295 }
0296 }
0297
0298 #main-nav {
0299 flex-grow: 5;
0300 padding: var(--spacing-small) var(--spacing-medium);
0301 }
0302
0303 #titlearea {
0304 width: auto;
0305 padding: var(--spacing-medium) var(--spacing-large);
0306 background: none;
0307 color: var(--header-foreground);
0308 border-bottom: none;
0309 }
0310
0311 @media screen and (max-width: 767px) {
0312 #titlearea {
0313 padding-bottom: var(--spacing-small);
0314 }
0315 }
0316
0317 #titlearea table tbody tr {
0318 height: auto !important;
0319 }
0320
0321 #projectname {
0322 font-size: var(--title-font-size);
0323 font-weight: 600;
0324 }
0325
0326 #projectnumber {
0327 font-family: inherit;
0328 font-size: 60%;
0329 }
0330
0331 #projectbrief {
0332 font-family: inherit;
0333 font-size: 80%;
0334 }
0335
0336 #projectlogo {
0337 vertical-align: middle;
0338 }
0339
0340 #projectlogo img {
0341 max-height: calc(var(--title-font-size) * 2);
0342 margin-right: var(--spacing-small);
0343 }
0344
0345 .sm-dox, .tabs, .tabs2, .tabs3 {
0346 background: none;
0347 padding: 0;
0348 }
0349
0350 .tabs, .tabs2, .tabs3 {
0351 border-bottom: 1px solid var(--separator-color);
0352 margin-bottom: -1px;
0353 }
0354
0355 @media screen and (max-width: 767px) {
0356 .sm-dox a span.sub-arrow {
0357 background: var(--code-background);
0358 }
0359 }
0360
0361 @media screen and (min-width: 768px) {
0362 .sm-dox li, .tablist li {
0363 display: var(--menu-display);
0364 }
0365
0366 .sm-dox a span.sub-arrow {
0367 border-color: var(--header-foreground) transparent transparent transparent;
0368 }
0369
0370 .sm-dox a:hover span.sub-arrow {
0371 border-color: var(--menu-focus-foreground) transparent transparent transparent;
0372 }
0373
0374 .sm-dox ul a span.sub-arrow {
0375 border-color: transparent transparent transparent var(--page-foreground-color);
0376 }
0377
0378 .sm-dox ul a:hover span.sub-arrow {
0379 border-color: transparent transparent transparent var(--menu-focus-foreground);
0380 }
0381 }
0382
0383 .sm-dox ul {
0384 background: var(--page-background-color);
0385 box-shadow: var(--box-shadow);
0386 border: 1px solid var(--separator-color);
0387 border-radius: var(--border-radius-medium) !important;
0388 padding: var(--spacing-small);
0389 animation: ease-out 150ms slideInMenu;
0390 }
0391
0392 @keyframes slideInMenu {
0393 from {
0394 opacity: 0;
0395 transform: translate(0px, -2px);
0396 }
0397
0398 to {
0399 opacity: 1;
0400 transform: translate(0px, 0px);
0401 }
0402 }
0403
0404 .sm-dox ul a {
0405 color: var(--page-foreground-color) !important;
0406 background: var(--page-background-color);
0407 font-size: var(--navigation-font-size);
0408 }
0409
0410 .sm-dox>li>ul:after {
0411 border-bottom-color: var(--page-background-color) !important;
0412 }
0413
0414 .sm-dox>li>ul:before {
0415 border-bottom-color: var(--separator-color) !important;
0416 }
0417
0418 .sm-dox ul a:hover, .sm-dox ul a:active, .sm-dox ul a:focus {
0419 font-size: var(--navigation-font-size) !important;
0420 color: var(--menu-focus-foreground) !important;
0421 text-shadow: none;
0422 background-color: var(--menu-focus-background);
0423 border-radius: var(--border-radius-small) !important;
0424 }
0425
0426 .sm-dox a, .sm-dox a:focus, .tablist li, .tablist li a, .tablist li.current a {
0427 text-shadow: none;
0428 background: transparent;
0429 background-image: none !important;
0430 color: var(--header-foreground) !important;
0431 font-weight: normal;
0432 font-size: var(--navigation-font-size);
0433 }
0434
0435 .sm-dox a:focus {
0436 outline: auto;
0437 }
0438
0439 .sm-dox a:hover, .sm-dox a:active, .tablist li a:hover {
0440 text-shadow: none;
0441 font-weight: normal;
0442 background: var(--menu-focus-background);
0443 color: var(--menu-focus-foreground) !important;
0444 border-radius: var(--border-radius-small) !important;
0445 font-size: var(--navigation-font-size);
0446 }
0447
0448 .tablist li.current {
0449 border-radius: var(--border-radius-small);
0450 background: var(--menu-selected-background);
0451 }
0452
0453 .tablist li {
0454 margin: var(--spacing-small) 0 var(--spacing-small) var(--spacing-small);
0455 }
0456
0457 .tablist a {
0458 padding: 0 var(--spacing-large);
0459 }
0460
0461
0462 /*
0463 Search box
0464 */
0465
0466 #MSearchBox {
0467 height: var(--searchbar-height);
0468 background: var(--searchbar-background);
0469 border-radius: var(--searchbar-height);
0470 border: 1px solid var(--separator-color);
0471 overflow: hidden;
0472 width: var(--searchbar-width);
0473 position: relative;
0474 box-shadow: none;
0475 display: block;
0476 margin-top: 0;
0477 }
0478
0479 .left #MSearchSelect {
0480 left: 0;
0481 }
0482
0483 .tabs .left #MSearchSelect {
0484 padding-left: 0;
0485 }
0486
0487 .tabs #MSearchBox {
0488 position: absolute;
0489 right: var(--spacing-medium);
0490 }
0491
0492 @media screen and (max-width: 767px) {
0493 .tabs #MSearchBox {
0494 position: relative;
0495 right: 0;
0496 margin-left: var(--spacing-medium);
0497 margin-top: 0;
0498 }
0499 }
0500
0501 #MSearchSelectWindow, #MSearchResultsWindow {
0502 z-index: 9999;
0503 }
0504
0505 #MSearchBox.MSearchBoxActive {
0506 border-color: var(--primary-color);
0507 box-shadow: inset 0 0 0 1px var(--primary-color);
0508 }
0509
0510 #main-menu > li:last-child {
0511 margin-right: 0;
0512 }
0513
0514 @media screen and (max-width: 767px) {
0515 #main-menu > li:last-child {
0516 height: 50px;
0517 }
0518 }
0519
0520 #MSearchField {
0521 font-size: var(--navigation-font-size);
0522 height: calc(var(--searchbar-height) - 2px);
0523 background: transparent;
0524 width: calc(var(--searchbar-width) - 64px);
0525 }
0526
0527 .MSearchBoxActive #MSearchField {
0528 color: var(--searchbar-foreground);
0529 }
0530
0531 #MSearchSelect {
0532 top: calc(calc(var(--searchbar-height) / 2) - 11px);
0533 }
0534
0535 .left #MSearchSelect {
0536 padding-left: 8px;
0537 }
0538
0539 #MSearchBox span.left, #MSearchBox span.right {
0540 background: none;
0541 }
0542
0543 #MSearchBox span.right {
0544 padding-top: calc(calc(var(--searchbar-height) / 2) - 12px);
0545 position: absolute;
0546 right: var(--spacing-small);
0547 }
0548
0549 .tabs #MSearchBox span.right {
0550 top: calc(calc(var(--searchbar-height) / 2) - 12px);
0551 }
0552
0553 @keyframes slideInSearchResults {
0554 from {
0555 opacity: 0;
0556 transform: translate(0, 15px);
0557 }
0558
0559 to {
0560 opacity: 1;
0561 transform: translate(0, 20px);
0562 }
0563 }
0564
0565 #MSearchResultsWindow {
0566 left: auto !important;
0567 right: var(--spacing-medium);
0568 border-radius: var(--border-radius-large);
0569 border: 1px solid var(--separator-color);
0570 transform: translate(0, 20px);
0571 box-shadow: var(--box-shadow);
0572 animation: ease-out 280ms slideInSearchResults;
0573 background: var(--page-background-color);
0574 }
0575
0576 iframe#MSearchResults {
0577 margin: 4px;
0578 }
0579
0580 @media (prefers-color-scheme: dark) {
0581 html:not(.light-mode) iframe#MSearchResults {
0582 filter: invert() hue-rotate(180deg);
0583 }
0584 }
0585
0586 html.dark-mode iframe#MSearchResults {
0587 filter: invert() hue-rotate(180deg);
0588 }
0589
0590 #MSearchSelectWindow {
0591 border: 1px solid var(--separator-color);
0592 border-radius: var(--border-radius-medium);
0593 box-shadow: var(--box-shadow);
0594 background: var(--page-background-color);
0595 }
0596
0597 #MSearchSelectWindow a.SelectItem {
0598 font-size: var(--navigation-font-size);
0599 line-height: var(--content-line-height);
0600 margin: 0 var(--spacing-small);
0601 border-radius: var(--border-radius-small);
0602 color: var(--page-foreground-color) !important;
0603 font-weight: normal;
0604 }
0605
0606 #MSearchSelectWindow a.SelectItem:hover {
0607 background: var(--menu-focus-background);
0608 color: var(--menu-focus-foreground) !important;
0609 }
0610
0611 @media screen and (max-width: 767px) {
0612 #MSearchBox {
0613 margin-top: var(--spacing-medium);
0614 margin-bottom: var(--spacing-medium);
0615 width: calc(100vw - 30px);
0616 }
0617
0618 #main-menu > li:last-child {
0619 float: none !important;
0620 }
0621
0622 #MSearchField {
0623 width: calc(100vw - 110px);
0624 }
0625
0626 @keyframes slideInSearchResultsMobile {
0627 from {
0628 opacity: 0;
0629 transform: translate(0, 15px);
0630 }
0631
0632 to {
0633 opacity: 1;
0634 transform: translate(0, 20px);
0635 }
0636 }
0637
0638 #MSearchResultsWindow {
0639 left: var(--spacing-medium) !important;
0640 right: var(--spacing-medium);
0641 overflow: auto;
0642 transform: translate(0, 20px);
0643 animation: ease-out 280ms slideInSearchResultsMobile;
0644 }
0645 }
0646
0647 /*
0648 Tree view
0649 */
0650
0651 #side-nav {
0652 padding: 0 !important;
0653 background: var(--side-nav-background);
0654 }
0655
0656 @media screen and (max-width: 767px) {
0657 #side-nav {
0658 display: none;
0659 }
0660
0661 #doc-content {
0662 margin-left: 0 !important;
0663 height: auto !important;
0664 padding-bottom: calc(2 * var(--spacing-large));
0665 }
0666 }
0667
0668 #nav-tree {
0669 background: transparent;
0670 }
0671
0672 #nav-tree .label {
0673 font-size: var(--navigation-font-size);
0674 }
0675
0676 #nav-tree .item {
0677 height: var(--tree-item-height);
0678 line-height: var(--tree-item-height);
0679 }
0680
0681 #nav-sync {
0682 top: 12px !important;
0683 right: 12px;
0684 }
0685
0686 #nav-tree .selected {
0687 text-shadow: none;
0688 background-image: none;
0689 background-color: transparent;
0690 box-shadow: inset 4px 0 0 0 var(--primary-color);
0691 }
0692
0693 #nav-tree a {
0694 color: var(--side-nav-foreground) !important;
0695 font-weight: normal;
0696 }
0697
0698 #nav-tree a:focus {
0699 outline-style: auto;
0700 }
0701
0702 #nav-tree .arrow {
0703 opacity: var(--side-nav-arrow-opacity);
0704 }
0705
0706 .arrow {
0707 color: inherit;
0708 cursor: pointer;
0709 font-size: 45%;
0710 vertical-align: middle;
0711 margin-right: 2px;
0712 font-family: serif;
0713 height: auto;
0714 text-align: right;
0715 }
0716
0717 #nav-tree div.item:hover .arrow, #nav-tree a:focus .arrow {
0718 opacity: var(--side-nav-arrow-hover-opacity);
0719 }
0720
0721 #nav-tree .selected a {
0722 color: var(--primary-color) !important;
0723 font-weight: bolder;
0724 font-weight: 600;
0725 }
0726
0727 .ui-resizable-e {
0728 background: var(--separator-color);
0729 width: 1px;
0730 }
0731
0732 /*
0733 Contents
0734 */
0735
0736 div.header {
0737 border-bottom: 1px solid var(--separator-color);
0738 background-color: var(--page-background-color);
0739 background-image: none;
0740 }
0741
0742 div.contents, div.header .title, div.header .summary {
0743 max-width: var(--content-maxwidth);
0744 }
0745
0746 div.contents, div.header .title {
0747 line-height: initial;
0748 margin: calc(var(--spacing-medium) + .2em) auto var(--spacing-medium) auto;
0749 }
0750
0751 div.header .summary {
0752 margin: var(--spacing-medium) auto 0 auto;
0753 }
0754
0755 div.headertitle {
0756 padding: 0;
0757 }
0758
0759 div.header .title {
0760 font-weight: 600;
0761 font-size: 210%;
0762 padding: var(--spacing-medium) var(--spacing-large);
0763 word-break: break-word;
0764 }
0765
0766 div.header .summary {
0767 width: auto;
0768 display: block;
0769 float: none;
0770 padding: 0 var(--spacing-large);
0771 }
0772
0773 td.memSeparator {
0774 border-color: var(--separator-color);
0775 }
0776
0777 .mdescLeft, .mdescRight, .memItemLeft, .memItemRight, .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
0778 background: var(--code-background);
0779 }
0780
0781 .mdescRight {
0782 color: var(--page-secondary-foreground-color);
0783 }
0784
0785 span.mlabel {
0786 background: var(--primary-color);
0787 border: none;
0788 padding: 4px 9px;
0789 border-radius: 12px;
0790 margin-right: var(--spacing-medium);
0791 }
0792
0793 span.mlabel:last-of-type {
0794 margin-right: 2px;
0795 }
0796
0797 div.contents {
0798 padding: 0 var(--spacing-large);
0799 }
0800
0801 div.contents p, div.contents li {
0802 line-height: var(--content-line-height);
0803 }
0804
0805 div.contents div.dyncontent {
0806 margin: var(--spacing-medium) 0;
0807 }
0808
0809 @media (prefers-color-scheme: dark) {
0810 html:not(.light-mode) div.contents div.dyncontent img,
0811 html:not(.light-mode) div.contents div.dyncontent iframe {
0812 filter: hue-rotate(180deg) invert();
0813 }
0814 }
0815
0816 html.dark-mode div.contents div.dyncontent img,
0817 html.dark-mode div.contents div.dyncontent iframe {
0818 filter: hue-rotate(180deg) invert();
0819 }
0820
0821 h2.groupheader {
0822 border-bottom: 1px solid var(--separator-color);
0823 color: var(--page-foreground-color);
0824 }
0825
0826 blockquote {
0827 padding: var(--spacing-small) var(--spacing-medium);
0828 background: var(--blockquote-background);
0829 color: var(--blockquote-foreground);
0830 border-left: 2px solid var(--blockquote-foreground);
0831 margin: 0;
0832 }
0833
0834 blockquote p {
0835 margin: var(--spacing-small) 0 var(--spacing-medium) 0;
0836 }
0837 .paramname {
0838 font-weight: 600;
0839 color: var(--primary-dark-color);
0840 }
0841
0842 .glow {
0843 text-shadow: 0 0 15px var(--primary-light-color) !important;
0844 }
0845
0846 .alphachar a {
0847 color: var(--page-foreground-color);
0848 }
0849
0850 /*
0851 Table of Contents
0852 */
0853
0854 div.toc {
0855 background-color: var(--side-nav-background);
0856 border: 1px solid var(--separator-color);
0857 border-radius: var(--border-radius-medium);
0858 box-shadow: var(--box-shadow);
0859 padding: 0 var(--spacing-large);
0860 margin: 0 0 var(--spacing-medium) var(--spacing-medium);
0861 }
0862
0863 div.toc h3 {
0864 color: var(--side-nav-foreground);
0865 font-size: var(--navigation-font-size);
0866 margin: var(--spacing-large) 0;
0867 }
0868
0869 div.toc li {
0870 font-size: var(--navigation-font-size);
0871 padding: 0;
0872 background: none;
0873 }
0874
0875 div.toc li:before {
0876 content: '↓';
0877 font-weight: 800;
0878 font-family: var(--font-family);
0879 margin-right: var(--spacing-small);
0880 color: var(--side-nav-foreground);
0881 opacity: .4;
0882 }
0883
0884 div.toc ul li.level1 {
0885 margin: 0;
0886 }
0887
0888 div.toc ul li.level2, div.toc ul li.level3 {
0889 margin-top: 0;
0890 }
0891
0892
0893 @media screen and (max-width: 767px) {
0894 div.toc {
0895 float: none;
0896 width: auto;
0897 margin: 0 0 var(--spacing-medium) 0;
0898 }
0899 }
0900
0901 /*
0902 Code & Fragments
0903 */
0904
0905 code, div.fragment, pre.fragment {
0906 border-radius: var(--border-radius-small);
0907 border: none;
0908 overflow: hidden;
0909 }
0910
0911 code {
0912 display: inline;
0913 background: var(--code-background);
0914 color: var(--code-foreground);
0915 padding: 2px 6px;
0916 word-break: break-word;
0917 }
0918
0919 div.fragment, pre.fragment {
0920 margin: var(--spacing-medium) 0;
0921 padding: 14px 16px;
0922 background: var(--fragment-background);
0923 color: var(--fragment-foreground);
0924 overflow-x: auto;
0925 }
0926
0927 @media screen and (max-width: 767px) {
0928 div.fragment, pre.fragment {
0929 border-top-right-radius: 0;
0930 border-bottom-right-radius: 0;
0931 }
0932
0933 .contents > div.fragment, .textblock > div.fragment, .textblock > pre.fragment {
0934 margin: var(--spacing-medium) calc(0px - var(--spacing-large));
0935 border-radius: 0;
0936 }
0937
0938 .textblock li > .fragment {
0939 margin: var(--spacing-medium) calc(0px - var(--spacing-large));
0940 }
0941
0942 .memdoc li > .fragment {
0943 margin: var(--spacing-medium) calc(0px - var(--spacing-medium));
0944 }
0945
0946 .memdoc > div.fragment, .memdoc > pre.fragment, dl dd > div.fragment, dl dd pre.fragment {
0947 margin: var(--spacing-medium) calc(0px - var(--spacing-medium));
0948 border-radius: 0;
0949 }
0950 }
0951
0952 code, code a, pre.fragment, div.fragment, div.fragment .line, div.fragment span, div.fragment .line a, div.fragment .line span {
0953 font-family: var(--font-family-monospace);
0954 font-size: var(--code-font-size) !important;
0955 }
0956
0957 div.line:after {
0958 margin-right: var(--spacing-medium);
0959 }
0960
0961 div.fragment .line, pre.fragment {
0962 white-space: pre;
0963 word-wrap: initial;
0964 line-height: var(--fragment-lineheight);
0965 }
0966
0967 div.fragment span.keyword {
0968 color: var(--fragment-keyword);
0969 }
0970
0971 div.fragment span.keywordtype {
0972 color: var(--fragment-keywordtype);
0973 }
0974
0975 div.fragment span.keywordflow {
0976 color: var(--fragment-keywordflow);
0977 }
0978
0979 div.fragment span.stringliteral {
0980 color: var(--fragment-token)
0981 }
0982
0983 div.fragment span.comment {
0984 color: var(--fragment-comment);
0985 }
0986
0987 div.fragment a.code {
0988 color: var(--fragment-link) !important;
0989 }
0990
0991 div.fragment span.preprocessor {
0992 color: var(--fragment-preprocessor);
0993 }
0994
0995 div.fragment span.lineno {
0996 display: inline-block;
0997 width: 27px;
0998 border-right: none;
0999 background: var(--fragment-linenumber-background);
1000 color: var(--fragment-linenumber-color);
1001 }
1002
1003 div.fragment span.lineno a {
1004 background: none;
1005 color: var(--fragment-link) !important;
1006 }
1007
1008 div.fragment .line:first-child .lineno {
1009 box-shadow: -999999px 0px 0 999999px var(--fragment-linenumber-background), -999998px 0px 0 999999px var(--fragment-linenumber-border);
1010 }
1011
1012 /*
1013 dl warning, attention, note, deprecated, bug, ...
1014 */
1015
1016 dl.warning, dl.attention, dl.note, dl.deprecated, dl.bug, dl.invariant, dl.pre {
1017 padding: var(--spacing-medium);
1018 margin: var(--spacing-medium) 0;
1019 color: var(--page-background-color);
1020 overflow: hidden;
1021 margin-left: 0;
1022 border-radius: var(--border-radius-small);
1023 }
1024
1025 dl.section dd {
1026 margin-bottom: 2px;
1027 }
1028
1029 dl.warning, dl.attention {
1030 background: var(--warning-color);
1031 border-left: 8px solid var(--warning-color-dark);
1032 color: var(--warning-color-darker);
1033 }
1034
1035 dl.warning dt, dl.attention dt {
1036 color: var(--warning-color-dark);
1037 }
1038
1039 dl.note {
1040 background: var(--note-color);
1041 border-left: 8px solid var(--note-color-dark);
1042 color: var(--note-color-darker);
1043 }
1044
1045 dl.note dt {
1046 color: var(--note-color-dark);
1047 }
1048
1049 dl.bug {
1050 background: var(--bug-color);
1051 border-left: 8px solid var(--bug-color-dark);
1052 color: var(--bug-color-darker);
1053 }
1054
1055 dl.bug dt a {
1056 color: var(--bug-color-dark) !important;
1057 }
1058
1059 dl.deprecated {
1060 background: var(--deprecated-color);
1061 border-left: 8px solid var(--deprecated-color-dark);
1062 color: var(--deprecated-color-darker);
1063 }
1064
1065 dl.deprecated dt a {
1066 color: var(--deprecated-color-dark) !important;
1067 }
1068
1069 dl.section dd, dl.bug dd, dl.deprecated dd {
1070 margin-inline-start: 0px;
1071 }
1072
1073 dl.invariant, dl.pre {
1074 background: var(--invariant-color);
1075 border-left: 8px solid var(--invariant-color-dark);
1076 color: var(--invariant-color-darker);
1077 }
1078
1079 /*
1080 memitem
1081 */
1082
1083 div.memdoc, div.memproto, h2.memtitle {
1084 box-shadow: none;
1085 background-image: none;
1086 border: none;
1087 }
1088
1089 div.memdoc {
1090 padding: 0 var(--spacing-medium);
1091 background: var(--page-background-color);
1092 }
1093
1094 h2.memtitle, div.memitem {
1095 border: 1px solid var(--separator-color);
1096 }
1097
1098 div.memproto, h2.memtitle {
1099 background: var(--code-background);
1100 text-shadow: none;
1101 }
1102
1103 h2.memtitle {
1104 font-weight: 500;
1105 font-family: monospace, fixed;
1106 border-bottom: none;
1107 border-top-left-radius: var(--border-radius-medium);
1108 border-top-right-radius: var(--border-radius-medium);
1109 word-break: break-all;
1110 }
1111
1112 a:target + h2.memtitle, a:target + h2.memtitle + div.memitem {
1113 border-color: var(--primary-light-color);
1114 }
1115
1116 a:target + h2.memtitle {
1117 box-shadow: -3px -3px 3px 0 var(--primary-lightest-color), 3px -3px 3px 0 var(--primary-lightest-color);
1118 }
1119
1120 a:target + h2.memtitle + div.memitem {
1121 box-shadow: 0 0 10px 0 var(--primary-lighter-color);
1122 }
1123
1124 div.memitem {
1125 border-top-right-radius: var(--border-radius-medium);
1126 border-bottom-right-radius: var(--border-radius-medium);
1127 border-bottom-left-radius: var(--border-radius-medium);
1128 overflow: hidden;
1129 display: block !important;
1130 }
1131
1132 div.memdoc {
1133 border-radius: 0;
1134 }
1135
1136 div.memproto {
1137 border-radius: 0 var(--border-radius-small) 0 0;
1138 overflow: auto;
1139 border-bottom: 1px solid var(--separator-color);
1140 padding: var(--spacing-medium);
1141 margin-bottom: -1px;
1142 }
1143
1144 div.memtitle {
1145 border-top-right-radius: var(--border-radius-medium);
1146 border-top-left-radius: var(--border-radius-medium);
1147 }
1148
1149 div.memproto table.memname {
1150 font-family: monospace, fixed;
1151 color: var(--page-foreground-color);
1152 }
1153
1154 table.mlabels, table.mlabels > tbody {
1155 display: block;
1156 }
1157
1158 td.mlabels-left {
1159 width: auto;
1160 }
1161
1162 table.mlabels > tbody > tr:first-child {
1163 display: flex;
1164 justify-content: space-between;
1165 flex-wrap: wrap;
1166 }
1167
1168 .memname, .memitem span.mlabels {
1169 margin: 0
1170 }
1171
1172 /*
1173 reflist
1174 */
1175
1176 dl.reflist {
1177 box-shadow: var(--box-shadow);
1178 border-radius: var(--border-radius-medium);
1179 border: 1px solid var(--separator-color);
1180 overflow: hidden;
1181 padding: 0;
1182 }
1183
1184
1185 dl.reflist dt, dl.reflist dd {
1186 box-shadow: none;
1187 text-shadow: none;
1188 background-image: none;
1189 border: none;
1190 padding: 12px;
1191 }
1192
1193
1194 dl.reflist dt {
1195 font-weight: 500;
1196 border-radius: 0;
1197 background: var(--code-background);
1198 border-bottom: 1px solid var(--separator-color);
1199 color: var(--page-foreground-color)
1200 }
1201
1202
1203 dl.reflist dd {
1204 background: none;
1205 }
1206
1207 /*
1208 Table
1209 */
1210
1211 table.markdownTable, table.fieldtable {
1212 width: 100%;
1213 border: 1px solid var(--separator-color);
1214 margin: var(--spacing-medium) 0;
1215 }
1216
1217 table.fieldtable {
1218 box-shadow: none;
1219 border-radius: var(--border-radius-small);
1220 }
1221
1222 th.markdownTableHeadLeft, th.markdownTableHeadRight, th.markdownTableHeadCenter, th.markdownTableHeadNone {
1223 background: var(--tablehead-background);
1224 color: var(--tablehead-foreground);
1225 font-weight: 600;
1226 font-size: var(--page-font-size);
1227 }
1228
1229 table.markdownTable td, table.markdownTable th, table.fieldtable dt {
1230 border: 1px solid var(--separator-color);
1231 padding: var(--spacing-small) var(--spacing-medium);
1232 }
1233
1234 table.fieldtable th {
1235 font-size: var(--page-font-size);
1236 font-weight: 600;
1237 background-image: none;
1238 background-color: var(--tablehead-background);
1239 color: var(--tablehead-foreground);
1240 border-bottom: 1px solid var(--separator-color);
1241 }
1242
1243 .fieldtable td.fieldtype, .fieldtable td.fieldname {
1244 border-bottom: 1px solid var(--separator-color);
1245 border-right: 1px solid var(--separator-color);
1246 }
1247
1248 .fieldtable td.fielddoc {
1249 border-bottom: 1px solid var(--separator-color);
1250 }
1251
1252 .memberdecls td.glow, .fieldtable tr.glow {
1253 background-color: var(--primary-light-color);
1254 box-shadow: 0 0 15px var(--primary-lighter-color);
1255 }
1256
1257 table.memberdecls {
1258 display: block;
1259 overflow-x: auto;
1260 overflow-y: hidden;
1261 }
1262
1263
1264 /*
1265 Horizontal Rule
1266 */
1267
1268 hr {
1269 margin-top: var(--spacing-large);
1270 margin-bottom: var(--spacing-large);
1271 border-top:1px solid var(--separator-color);
1272 }
1273
1274 .contents hr {
1275 box-shadow: var(--content-maxwidth) 0 0 0 var(--separator-color), calc(0px - var(--content-maxwidth)) 0 0 0 var(--separator-color);
1276 }
1277
1278 .contents img {
1279 max-width: 100%;
1280 }
1281
1282 /*
1283 Directories
1284 */
1285 div.directory {
1286 border-top: 1px solid var(--separator-color);
1287 border-bottom: 1px solid var(--separator-color);
1288 width: auto;
1289 }
1290
1291 table.directory {
1292 font-family: var(--font-family);
1293 font-size: var(--page-font-size);
1294 font-weight: normal;
1295 }
1296
1297 .directory td.entry {
1298 padding: var(--spacing-small);
1299 display: flex;
1300 align-items: center;
1301 }
1302
1303 .directory tr.even {
1304 background-color: var(--odd-color);
1305 }
1306
1307 .icona {
1308 width: auto;
1309 height: auto;
1310 margin: 0 var(--spacing-small);
1311 }
1312
1313 .icon {
1314 background: var(--primary-color);
1315 width: 18px;
1316 height: 18px;
1317 line-height: 18px;
1318 }
1319
1320 .iconfopen, .icondoc, .iconfclosed {
1321 background-position: center;
1322 margin-bottom: 0;
1323 }
1324
1325 .icondoc {
1326 filter: saturate(0.2);
1327 }
1328
1329 @media screen and (max-width: 767px) {
1330 div.directory {
1331 margin-left: calc(0px - var(--spacing-medium));
1332 margin-right: calc(0px - var(--spacing-medium));
1333 }
1334 }
1335
1336 @media (prefers-color-scheme: dark) {
1337 html:not(.light-mode) .iconfopen, html:not(.light-mode) .iconfclosed {
1338 filter: hue-rotate(180deg) invert();
1339 }
1340 }
1341
1342 html.dark-mode .iconfopen, html.dark-mode .iconfclosed {
1343 filter: hue-rotate(180deg) invert();
1344 }
1345
1346 /*
1347 Class list
1348 */
1349
1350 .classindex dl.odd {
1351 background: var(--odd-color);
1352 border-radius: var(--border-radius-small);
1353 }
1354
1355 @media screen and (max-width: 767px) {
1356 .classindex {
1357 margin: 0 calc(0px - var(--spacing-small));
1358 }
1359 }
1360
1361 /*
1362 Footer and nav-path
1363 */
1364
1365 #nav-path {
1366 margin-bottom: -1px;
1367 width: 100%;
1368 }
1369
1370 #nav-path ul {
1371 background-image: none;
1372 background: var(--page-background-color);
1373 border: none;
1374 border-top: 1px solid var(--separator-color);
1375 border-bottom: 1px solid var(--separator-color);
1376 font-size: var(--navigation-font-size);
1377 }
1378
1379 img.footer {
1380 width: 60px;
1381 }
1382
1383 .navpath li.footer {
1384 color: var(--page-secondary-foreground-color);
1385 }
1386
1387 address.footer {
1388 margin-bottom: var(--spacing-large);
1389 }
1390
1391 #nav-path li.navelem {
1392 background-image: none;
1393 display: flex;
1394 align-items: center;
1395 }
1396
1397 .navpath li.navelem a {
1398 text-shadow: none;
1399 display: inline-block;
1400 color: var(--primary-color) !important;
1401 }
1402
1403 .navpath li.navelem b {
1404 color: var(--primary-dark-color);
1405 font-weight: 500;
1406 }
1407
1408 li.navelem {
1409 padding: 0;
1410 margin-left: -8px;
1411 }
1412
1413 li.navelem:first-child {
1414 margin-left: var(--spacing-large);
1415 }
1416
1417 li.navelem:first-child:before {
1418 display: none;
1419 }
1420
1421 #nav-path li.navelem:after {
1422 content: '';
1423 border: 5px solid var(--page-background-color);
1424 border-bottom-color: transparent;
1425 border-right-color: transparent;
1426 border-top-color: transparent;
1427 transform: scaleY(4.2);
1428 z-index: 10;
1429 margin-left: 6px;
1430 }
1431
1432 #nav-path li.navelem:before {
1433 content: '';
1434 border: 5px solid var(--separator-color);
1435 border-bottom-color: transparent;
1436 border-right-color: transparent;
1437 border-top-color: transparent;
1438 transform: scaleY(3.2);
1439 margin-right: var(--spacing-small);
1440 }
1441
1442 .navpath li.navelem a:hover {
1443 color: var(--primary-color);
1444 }
1445
1446 /*
1447 Optional Dark mode toggle button
1448 */
1449
1450 doxygen-awesome-dark-mode-toggle {
1451 margin: 0 0 0 var(--spacing-small);
1452 padding: 0;
1453 width: var(--searchbar-height);
1454 height: var(--searchbar-height);
1455 background: none;
1456 border: none;
1457 font-size: 23px;
1458 border-radius: var(--border-radius-medium);
1459 vertical-align: middle;
1460 text-align: center;
1461 line-height: var(--searchbar-height);
1462 }
1463
1464 doxygen-awesome-dark-mode-toggle:hover {
1465 background: var(--separator-color);
1466 }
1467
1468 doxygen-awesome-dark-mode-toggle:after {
1469 content: var(--darkmode-toggle-button-icon)
1470 }
