begriffs open source - cmsis-freertos/blob - main/doxygen.css

   1 /* The standard CSS for doxygen 1.9.6*/
   2
   3 html {
   4 /* page base colors */
   5 --page-background-color: white;
   6 --page-foreground-color: black;
   7 --page-link-color: #3D578C;
   8 --page-visited-link-color: #4665A2;
   9
  10 /* index */
  11 --index-odd-item-bg-color: #F8F9FC;
  12 --index-even-item-bg-color: white;
  13 --index-header-color: black;
  14 --index-separator-color: #A0A0A0;
  15
  16 /* header */
  17 --header-background-color: #F9FAFC;
  18 --header-separator-color: #C4CFE5;
  19 --header-gradient-image: url('nav_h.png');
  20 --group-header-separator-color: #879ECB;
  21 --group-header-color: #354C7B;
  22 --inherit-header-color: gray;
  23
  24 --footer-foreground-color: #2A3D61;
  25 --footer-logo-width: 104px;
  26 --citation-label-color: #334975;
  27 --glow-color: cyan;
  28
  29 --title-background-color: white;
  30 --title-separator-color: #5373B4;
  31 --directory-separator-color: #9CAFD4;
  32 --separator-color: #4A6AAA;
  33
  34 --blockquote-background-color: #F7F8FB;
  35 --blockquote-border-color: #9CAFD4;
  36
  37 --scrollbar-thumb-color: #9CAFD4;
  38 --scrollbar-background-color: #F9FAFC;
  39
  40 --icon-background-color: #728DC1;
  41 --icon-foreground-color: white;
  42 --icon-doc-image: url('doc.png');
  43
  44 /* brief member declaration list */
  45 --memdecl-background-color: #F9FAFC;
  46 --memdecl-separator-color: #DEE4F0;
  47 --memdecl-foreground-color: #555;
  48 --memdecl-template-color: #4665A2;
  49
  50 /* detailed member list */
  51 --memdef-border-color: #A8B8D9;
  52 --memdef-title-background-color: #E2E8F2;
  53 --memdef-title-gradient-image: url('nav_f.png');
  54 --memdef-proto-background-color: #DFE5F1;
  55 --memdef-proto-text-color: #253555;
  56 --memdef-proto-text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
  57 --memdef-doc-background-color: white;
  58 --memdef-param-name-color: #602020;
  59 --memdef-template-color: #4665A2;
  60
  61 /* tables */
  62 --table-cell-border-color: #2D4068;
  63 --table-header-background-color: #374F7F;
  64 --table-header-foreground-color: #FFFFFF;
  65
  66 /* labels */
  67 --label-background-color: #728DC1;
  68 --label-left-top-border-color: #5373B4;
  69 --label-right-bottom-border-color: #C4CFE5;
  70 --label-foreground-color: white;
  71
  72 /** navigation bar/tree/menu */
  73 --nav-background-color: #F9FAFC;
  74 --nav-foreground-color: #364D7C;
  75 --nav-gradient-image: url('tab_b.png');
  76 --nav-gradient-hover-image: url('tab_h.png');
  77 --nav-gradient-active-image: url('tab_a.png');
  78 --nav-gradient-active-image-parent: url("../tab_a.png");
  79 --nav-separator-image: url('tab_s.png');
  80 --nav-breadcrumb-image: url('bc_s.png');
  81 --nav-breadcrumb-border-color: #C2CDE4;
  82 --nav-splitbar-image: url('splitbar.png');
  83 --nav-font-size-level1: 13px;
  84 --nav-font-size-level2: 10px;
  85 --nav-font-size-level3: 9px;
  86 --nav-text-normal-color: #283A5D;
  87 --nav-text-hover-color: white;
  88 --nav-text-active-color: white;
  89 --nav-text-normal-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
  90 --nav-text-hover-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
  91 --nav-text-active-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
  92 --nav-menu-button-color: #364D7C;
  93 --nav-menu-background-color: white;
  94 --nav-menu-foreground-color: #555555;
  95 --nav-menu-toggle-color: rgba(255, 255, 255, 0.5);
  96 --nav-arrow-color: #9CAFD4;
  97 --nav-arrow-selected-color: #9CAFD4;
  98
  99 /* table of contents */
 100 --toc-background-color: #F4F6FA;
 101 --toc-border-color: #D8DFEE;
 102 --toc-header-color: #4665A2;
 103
 104 /** search field */
 105 --search-background-color: white;
 106 --search-foreground-color: #909090;
 107 --search-magnification-image: url('mag.svg');
 108 --search-magnification-select-image: url('mag_sel.svg');
 109 --search-active-color: black;
 110 --search-filter-background-color: #F9FAFC;
 111 --search-filter-foreground-color: black;
 112 --search-filter-border-color: #90A5CE;
 113 --search-filter-highlight-text-color: white;
 114 --search-filter-highlight-bg-color: #3D578C;
 115 --search-results-foreground-color: #425E97;
 116 --search-results-background-color: #EEF1F7;
 117 --search-results-border-color: black;
 118 --search-box-shadow: inset 0.5px 0.5px 3px 0px #555;
 119
 120 /** code fragments */
 121 --code-keyword-color: #008000;
 122 --code-type-keyword-color: #604020;
 123 --code-flow-keyword-color: #E08000;
 124 --code-comment-color: #800000;
 125 --code-preprocessor-color: #806020;
 126 --code-string-literal-color: #002080;
 127 --code-char-literal-color: #008080;
 128 --code-vhdl-digit-color: #FF00FF;
 129 --code-vhdl-char-color: #000000;
 130 --code-vhdl-keyword-color: #700070;
 131 --code-vhdl-logic-color: #FF0000;
 132 --code-link-color: #4665A2;
 133 --code-external-link-color: #4665A2;
 134 --fragment-foreground-color: black;
 135 --fragment-background-color: #FBFCFD;
 136 --fragment-border-color: #C4CFE5;
 137 --fragment-lineno-border-color: #00FF00;
 138 --fragment-lineno-background-color: #E8E8E8;
 139 --fragment-lineno-foreground-color: black;
 140 --fragment-lineno-link-fg-color: #4665A2;
 141 --fragment-lineno-link-bg-color: #D8D8D8;
 142 --fragment-lineno-link-hover-fg-color: #4665A2;
 143 --fragment-lineno-link-hover-bg-color: #C8C8C8;
 144 --tooltip-foreground-color: black;
 145 --tooltip-background-color: white;
 146 --tooltip-border-color: gray;
 147 --tooltip-doc-color: grey;
 148 --tooltip-declaration-color: #006318;
 149 --tooltip-link-color: #4665A2;
 150 --tooltip-shadow: 1px 1px 7px gray;
 151
 152 /** font-family */
 153 --font-family-normal: Roboto,sans-serif;
 154 --font-family-monospace: monospace,fixed;
 155 --font-family-nav: 'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
 156 --font-family-title: Tahoma,Arial,sans-serif;
 157 --font-family-toc: Verdana,'DejaVu Sans',Geneva,sans-serif;
 158 --font-family-search: Arial,Verdana,sans-serif;
 159 --font-family-icon: Arial,Helvetica;
 160 --font-family-tooltip: Roboto,sans-serif;
 161
 162 }
 163
 164 @media (prefers-color-scheme: dark) {
 165   html:not(.dark-mode) {
 166     color-scheme: dark;
 167
 168 /* page base colors */
 169 --page-background-color: black;
 170 --page-foreground-color: #C9D1D9;
 171 --page-link-color: #90A5CE;
 172 --page-visited-link-color: #A3B4D7;
 173
 174 /* index */
 175 --index-odd-item-bg-color: #0B101A;
 176 --index-even-item-bg-color: black;
 177 --index-header-color: #C4CFE5;
 178 --index-separator-color: #334975;
 179
 180 /* header */
 181 --header-background-color: #070B11;
 182 --header-separator-color: #141C2E;
 183 --header-gradient-image: url('nav_hd.png');
 184 --group-header-separator-color: #283A5D;
 185 --group-header-color: #90A5CE;
 186 --inherit-header-color: #A0A0A0;
 187
 188 --footer-foreground-color: #5B7AB7;
 189 --footer-logo-width: 60px;
 190 --citation-label-color: #90A5CE;
 191 --glow-color: cyan;
 192
 193 --title-background-color: #090D16;
 194 --title-separator-color: #354C79;
 195 --directory-separator-color: #283A5D;
 196 --separator-color: #283A5D;
 197
 198 --blockquote-background-color: #101826;
 199 --blockquote-border-color: #283A5D;
 200
 201 --scrollbar-thumb-color: #283A5D;
 202 --scrollbar-background-color: #070B11;
 203
 204 --icon-background-color: #334975;
 205 --icon-foreground-color: #C4CFE5;
 206 --icon-doc-image: url('docd.png');
 207
 208 /* brief member declaration list */
 209 --memdecl-background-color: #0B101A;
 210 --memdecl-separator-color: #2C3F65;
 211 --memdecl-foreground-color: #BBB;
 212 --memdecl-template-color: #7C95C6;
 213
 214 /* detailed member list */
 215 --memdef-border-color: #233250;
 216 --memdef-title-background-color: #1B2840;
 217 --memdef-title-gradient-image: url('nav_fd.png');
 218 --memdef-proto-background-color: #19243A;
 219 --memdef-proto-text-color: #9DB0D4;
 220 --memdef-proto-text-shadow: 0px 1px 1px rgba(0, 0, 0, 0.9);
 221 --memdef-doc-background-color: black;
 222 --memdef-param-name-color: #D28757;
 223 --memdef-template-color: #7C95C6;
 224
 225 /* tables */
 226 --table-cell-border-color: #283A5D;
 227 --table-header-background-color: #283A5D;
 228 --table-header-foreground-color: #C4CFE5;
 229
 230 /* labels */
 231 --label-background-color: #354C7B;
 232 --label-left-top-border-color: #4665A2;
 233 --label-right-bottom-border-color: #283A5D;
 234 --label-foreground-color: #CCCCCC;
 235
 236 /** navigation bar/tree/menu */
 237 --nav-background-color: #101826;
 238 --nav-foreground-color: #364D7C;
 239 --nav-gradient-image: url('tab_bd.png');
 240 --nav-gradient-hover-image: url('tab_hd.png');
 241 --nav-gradient-active-image: url('tab_ad.png');
 242 --nav-gradient-active-image-parent: url("../tab_ad.png");
 243 --nav-separator-image: url('tab_sd.png');
 244 --nav-breadcrumb-image: url('bc_sd.png');
 245 --nav-breadcrumb-border-color: #2A3D61;
 246 --nav-splitbar-image: url('splitbard.png');
 247 --nav-font-size-level1: 13px;
 248 --nav-font-size-level2: 10px;
 249 --nav-font-size-level3: 9px;
 250 --nav-text-normal-color: #B6C4DF;
 251 --nav-text-hover-color: #DCE2EF;
 252 --nav-text-active-color: #DCE2EF;
 253 --nav-text-normal-shadow: 0px 1px 1px black;
 254 --nav-text-hover-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
 255 --nav-text-active-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
 256 --nav-menu-button-color: #B6C4DF;
 257 --nav-menu-background-color: #05070C;
 258 --nav-menu-foreground-color: #BBBBBB;
 259 --nav-menu-toggle-color: rgba(255, 255, 255, 0.2);
 260 --nav-arrow-color: #334975;
 261 --nav-arrow-selected-color: #90A5CE;
 262
 263 /* table of contents */
 264 --toc-background-color: #151E30;
 265 --toc-border-color: #202E4A;
 266 --toc-header-color: #A3B4D7;
 267
 268 /** search field */
 269 --search-background-color: black;
 270 --search-foreground-color: #C5C5C5;
 271 --search-magnification-image: url('mag_d.svg');
 272 --search-magnification-select-image: url('mag_seld.svg');
 273 --search-active-color: #C5C5C5;
 274 --search-filter-background-color: #101826;
 275 --search-filter-foreground-color: #90A5CE;
 276 --search-filter-border-color: #7C95C6;
 277 --search-filter-highlight-text-color: #BCC9E2;
 278 --search-filter-highlight-bg-color: #283A5D;
 279 --search-results-background-color: #101826;
 280 --search-results-foreground-color: #90A5CE;
 281 --search-results-border-color: #7C95C6;
 282 --search-box-shadow: inset 0.5px 0.5px 3px 0px #2F436C;
 283
 284 /** code fragments */
 285 --code-keyword-color: #CC99CD;
 286 --code-type-keyword-color: #AB99CD;
 287 --code-flow-keyword-color: #E08000;
 288 --code-comment-color: #717790;
 289 --code-preprocessor-color: #65CABE;
 290 --code-string-literal-color: #7EC699;
 291 --code-char-literal-color: #00E0F0;
 292 --code-vhdl-digit-color: #FF00FF;
 293 --code-vhdl-char-color: #000000;
 294 --code-vhdl-keyword-color: #700070;
 295 --code-vhdl-logic-color: #FF0000;
 296 --code-link-color: #79C0FF;
 297 --code-external-link-color: #79C0FF;
 298 --fragment-foreground-color: #C9D1D9;
 299 --fragment-background-color: black;
 300 --fragment-border-color: #30363D;
 301 --fragment-lineno-border-color: #30363D;
 302 --fragment-lineno-background-color: black;
 303 --fragment-lineno-foreground-color: #6E7681;
 304 --fragment-lineno-link-fg-color: #6E7681;
 305 --fragment-lineno-link-bg-color: #303030;
 306 --fragment-lineno-link-hover-fg-color: #8E96A1;
 307 --fragment-lineno-link-hover-bg-color: #505050;
 308 --tooltip-foreground-color: #C9D1D9;
 309 --tooltip-background-color: #202020;
 310 --tooltip-border-color: #C9D1D9;
 311 --tooltip-doc-color: #D9E1E9;
 312 --tooltip-declaration-color: #20C348;
 313 --tooltip-link-color: #79C0FF;
 314 --tooltip-shadow: none;
 315
 316 /** font-family */
 317 --font-family-normal: Roboto,sans-serif;
 318 --font-family-monospace: monospace,fixed;
 319 --font-family-nav: 'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
 320 --font-family-title: Tahoma,Arial,sans-serif;
 321 --font-family-toc: Verdana,'DejaVu Sans',Geneva,sans-serif;
 322 --font-family-search: Arial,Verdana,sans-serif;
 323 --font-family-icon: Arial,Helvetica;
 324 --font-family-tooltip: Roboto,sans-serif;
 325
 326 }}
 327 body {
 328     background-color: var(--page-background-color);
 329     color: var(--page-foreground-color);
 330 }
 331
 332 body, table, div, p, dl {
 333         font-weight: 400;
 334         font-size: 14px;
 335         font-family: var(--font-family-normal);
 336         line-height: 22px;
 337 }
 338
 339 /* @group Heading Levels */
 340
 341 .title {
 342         font-weight: 400;
 343         font-size: 14px;
 344         font-family: var(--font-family-normal);
 345         line-height: 28px;
 346         font-size: 150%;
 347         font-weight: bold;
 348         margin: 10px 2px;
 349 }
 350
 351 h1.groupheader {
 352         font-size: 150%;
 353 }
 354
 355 h2.groupheader {
 356         border-bottom: 1px solid var(--group-header-separator-color);
 357         color: var(--group-header-color);
 358         font-size: 150%;
 359         font-weight: normal;
 360         margin-top: 1.75em;
 361         padding-top: 8px;
 362         padding-bottom: 4px;
 363         width: 100%;
 364 }
 365
 366 h3.groupheader {
 367         font-size: 100%;
 368 }
 369
 370 h1, h2, h3, h4, h5, h6 {
 371         -webkit-transition: text-shadow 0.5s linear;
 372         -moz-transition: text-shadow 0.5s linear;
 373         -ms-transition: text-shadow 0.5s linear;
 374         -o-transition: text-shadow 0.5s linear;
 375         transition: text-shadow 0.5s linear;
 376         margin-right: 15px;
 377 }
 378
 379 h1.glow, h2.glow, h3.glow, h4.glow, h5.glow, h6.glow {
 380         text-shadow: 0 0 15px var(--glow-color);
 381 }
 382
 383 dt {
 384         font-weight: bold;
 385 }
 386
 387 p.startli, p.startdd {
 388         margin-top: 2px;
 389 }
 390
 391 th p.starttd, th p.intertd, th p.endtd {
 392         font-size: 100%;
 393         font-weight: 700;
 394 }
 395
 396 p.starttd {
 397         margin-top: 0px;
 398 }
 399
 400 p.endli {
 401         margin-bottom: 0px;
 402 }
 403
 404 p.enddd {
 405         margin-bottom: 4px;
 406 }
 407
 408 p.endtd {
 409         margin-bottom: 2px;
 410 }
 411
 412 p.interli {
 413 }
 414
 415 p.interdd {
 416 }
 417
 418 p.intertd {
 419 }
 420
 421 /* @end */
 422
 423 caption {
 424         font-weight: bold;
 425 }
 426
 427 span.legend {
 428         font-size: 70%;
 429         text-align: center;
 430 }
 431
 432 h3.version {
 433         font-size: 90%;
 434         text-align: center;
 435 }
 436
 437 div.navtab {
 438         padding-right: 15px;
 439         text-align: right;
 440         line-height: 110%;
 441 }
 442
 443 div.navtab table {
 444         border-spacing: 0;
 445 }
 446
 447 td.navtab {
 448         padding-right: 6px;
 449         padding-left: 6px;
 450 }
 451
 452 td.navtabHL {
 453         background-image: var(--nav-gradient-active-image);
 454         background-repeat:repeat-x;
 455         padding-right: 6px;
 456         padding-left: 6px;
 457 }
 458
 459 td.navtabHL a, td.navtabHL a:visited {
 460         color: var(--nav-text-hover-color);
 461         text-shadow: var(--nav-text-hover-shadow);
 462 }
 463
 464 a.navtab {
 465         font-weight: bold;
 466 }
 467
 468 div.qindex{
 469         text-align: center;
 470         width: 100%;
 471         line-height: 140%;
 472         font-size: 130%;
 473         color: var(--index-separator-color);
 474 }
 475
 476 dt.alphachar{
 477         font-size: 180%;
 478         font-weight: bold;
 479 }
 480
 481 .alphachar a{
 482         color: var(--index-header-color);
 483 }
 484
 485 .alphachar a:hover, .alphachar a:visited{
 486         text-decoration: none;
 487 }
 488
 489 .classindex dl {
 490         padding: 25px;
 491         column-count:1
 492 }
 493
 494 .classindex dd {
 495         display:inline-block;
 496         margin-left: 50px;
 497         width: 90%;
 498         line-height: 1.15em;
 499 }
 500
 501 .classindex dl.even {
 502         background-color: var(--index-even-item-bg-color);
 503 }
 504
 505 .classindex dl.odd {
 506         background-color: var(--index-odd-item-bg-color);
 507 }
 508
 509 @media(min-width: 1120px) {
 510         .classindex dl {
 511                 column-count:2
 512         }
 513 }
 514
 515 @media(min-width: 1320px) {
 516         .classindex dl {
 517                 column-count:3
 518         }
 519 }
 520
 521
 522 /* @group Link Styling */
 523
 524 a {
 525         color: var(--page-link-color);
 526         font-weight: normal;
 527         text-decoration: none;
 528 }
 529
 530 .contents a:visited {
 531         color: var(--page-visited-link-color);
 532 }
 533
 534 a:hover {
 535         text-decoration: underline;
 536 }
 537
 538 a.el {
 539         font-weight: bold;
 540 }
 541
 542 a.elRef {
 543 }
 544
 545 a.code, a.code:visited, a.line, a.line:visited {
 546         color: var(--code-link-color);
 547 }
 548
 549 a.codeRef, a.codeRef:visited, a.lineRef, a.lineRef:visited {
 550         color: var(--code-external-link-color);
 551 }
 552
 553 a.code.hl_class { /* style for links to class names in code snippets */ }
 554 a.code.hl_struct { /* style for links to struct names in code snippets */ }
 555 a.code.hl_union { /* style for links to union names in code snippets */ }
 556 a.code.hl_interface { /* style for links to interface names in code snippets */ }
 557 a.code.hl_protocol { /* style for links to protocol names in code snippets */ }
 558 a.code.hl_category { /* style for links to category names in code snippets */ }
 559 a.code.hl_exception { /* style for links to exception names in code snippets */ }
 560 a.code.hl_service { /* style for links to service names in code snippets */ }
 561 a.code.hl_singleton { /* style for links to singleton names in code snippets */ }
 562 a.code.hl_concept { /* style for links to concept names in code snippets */ }
 563 a.code.hl_namespace { /* style for links to namespace names in code snippets */ }
 564 a.code.hl_package { /* style for links to package names in code snippets */ }
 565 a.code.hl_define { /* style for links to macro names in code snippets */ }
 566 a.code.hl_function { /* style for links to function names in code snippets */ }
 567 a.code.hl_variable { /* style for links to variable names in code snippets */ }
 568 a.code.hl_typedef { /* style for links to typedef names in code snippets */ }
 569 a.code.hl_enumvalue { /* style for links to enum value names in code snippets */ }
 570 a.code.hl_enumeration { /* style for links to enumeration names in code snippets */ }
 571 a.code.hl_signal { /* style for links to Qt signal names in code snippets */ }
 572 a.code.hl_slot { /* style for links to Qt slot names in code snippets */ }
 573 a.code.hl_friend { /* style for links to friend names in code snippets */ }
 574 a.code.hl_dcop { /* style for links to KDE3 DCOP names in code snippets */ }
 575 a.code.hl_property { /* style for links to property names in code snippets */ }
 576 a.code.hl_event { /* style for links to event names in code snippets */ }
 577 a.code.hl_sequence { /* style for links to sequence names in code snippets */ }
 578 a.code.hl_dictionary { /* style for links to dictionary names in code snippets */ }
 579
 580 /* @end */
 581
 582 dl.el {
 583         margin-left: -1cm;
 584 }
 585
 586 ul {
 587   overflow: visible;
 588 }
 589
 590 ul.multicol {
 591         -moz-column-gap: 1em;
 592         -webkit-column-gap: 1em;
 593         column-gap: 1em;
 594         -moz-column-count: 3;
 595         -webkit-column-count: 3;
 596         column-count: 3;
 597         list-style-type: none;
 598 }
 599
 600 #side-nav ul {
 601   overflow: visible; /* reset ul rule for scroll bar in GENERATE_TREEVIEW window */
 602 }
 603
 604 #main-nav ul {
 605   overflow: visible; /* reset ul rule for the navigation bar drop down lists */
 606 }
 607
 608 .fragment {
 609   text-align: left;
 610   direction: ltr;
 611   overflow-x: auto; /*Fixed: fragment lines overlap floating elements*/
 612   overflow-y: hidden;
 613 }
 614
 615 pre.fragment {
 616         border: 1px solid var(--fragment-border-color);
 617         background-color: var(--fragment-background-color);
 618         color: var(--fragment-foreground-color);
 619         padding: 4px 6px;
 620         margin: 4px 8px 4px 2px;
 621         overflow: auto;
 622         word-wrap: break-word;
 623         font-size:  9pt;
 624         line-height: 125%;
 625         font-family: var(--font-family-monospace);
 626         font-size: 105%;
 627 }
 628
 629 div.fragment {
 630         padding: 0 0 1px 0; /*Fixed: last line underline overlap border*/
 631         margin: 4px 8px 4px 2px;
 632         color: var(--fragment-foreground-color);
 633         background-color: var(--fragment-background-color);
 634         border: 1px solid var(--fragment-border-color);
 635 }
 636
 637 div.line {
 638         font-family: var(--font-family-monospace);
 639         font-size: 13px;
 640         min-height: 13px;
 641         line-height: 1.0;
 642         text-wrap: unrestricted;
 643         white-space: -moz-pre-wrap; /* Moz */
 644         white-space: -pre-wrap;     /* Opera 4-6 */
 645         white-space: -o-pre-wrap;   /* Opera 7 */
 646         white-space: pre-wrap;      /* CSS3  */
 647         word-wrap: break-word;      /* IE 5.5+ */
 648         text-indent: -53px;
 649         padding-left: 53px;
 650         padding-bottom: 0px;
 651         margin: 0px;
 652         -webkit-transition-property: background-color, box-shadow;
 653         -webkit-transition-duration: 0.5s;
 654         -moz-transition-property: background-color, box-shadow;
 655         -moz-transition-duration: 0.5s;
 656         -ms-transition-property: background-color, box-shadow;
 657         -ms-transition-duration: 0.5s;
 658         -o-transition-property: background-color, box-shadow;
 659         -o-transition-duration: 0.5s;
 660         transition-property: background-color, box-shadow;
 661         transition-duration: 0.5s;
 662 }
 663
 664 div.line:after {
 665     content:"\000A";
 666     white-space: pre;
 667 }
 668
 669 div.line.glow {
 670         background-color: var(--glow-color);
 671         box-shadow: 0 0 10px var(--glow-color);
 672 }
 673
 674
 675 span.lineno {
 676         padding-right: 4px;
 677         margin-right: 9px;
 678         text-align: right;
 679         border-right: 2px solid var(--fragment-lineno-border-color);
 680         color: var(--fragment-lineno-foreground-color);
 681         background-color: var(--fragment-lineno-background-color);
 682         white-space: pre;
 683 }
 684 span.lineno a, span.lineno a:visited {
 685         color: var(--fragment-lineno-link-fg-color);
 686         background-color: var(--fragment-lineno-link-bg-color);
 687 }
 688
 689 span.lineno a:hover {
 690         color: var(--fragment-lineno-link-hover-fg-color);
 691         background-color: var(--fragment-lineno-link-hover-bg-color);
 692 }
 693
 694 .lineno {
 695         -webkit-touch-callout: none;
 696         -webkit-user-select: none;
 697         -khtml-user-select: none;
 698         -moz-user-select: none;
 699         -ms-user-select: none;
 700         user-select: none;
 701 }
 702
 703 div.classindex ul {
 704         list-style: none;
 705         padding-left: 0;
 706 }
 707
 708 div.classindex span.ai {
 709         display: inline-block;
 710 }
 711
 712 div.groupHeader {
 713         margin-left: 16px;
 714         margin-top: 12px;
 715         font-weight: bold;
 716 }
 717
 718 div.groupText {
 719         margin-left: 16px;
 720         font-style: italic;
 721 }
 722
 723 body {
 724         color: var(--page-foreground-color);
 725         margin: 0;
 726 }
 727
 728 div.contents {
 729         margin-top: 10px;
 730         margin-left: 12px;
 731         margin-right: 8px;
 732 }
 733
 734 p.formulaDsp {
 735         text-align: center;
 736 }
 737
 738 img.dark-mode-visible {
 739         display: none;
 740 }
 741 img.light-mode-visible {
 742         display: none;
 743 }
 744
 745 img.formulaDsp {
 746
 747 }
 748
 749 img.formulaInl, img.inline {
 750         vertical-align: middle;
 751 }
 752
 753 div.center {
 754         text-align: center;
 755         margin-top: 0px;
 756         margin-bottom: 0px;
 757         padding: 0px;
 758 }
 759
 760 div.center img {
 761         border: 0px;
 762 }
 763
 764 address.footer {
 765         text-align: right;
 766         padding-right: 12px;
 767 }
 768
 769 img.footer {
 770         border: 0px;
 771         vertical-align: middle;
 772         width: var(--footer-logo-width);
 773 }
 774
 775 .compoundTemplParams {
 776         color: var(--memdecl-template-color);
 777         font-size: 80%;
 778         line-height: 120%;
 779 }
 780
 781 /* @group Code Colorization */
 782
 783 span.keyword {
 784         color: var(--code-keyword-color);
 785 }
 786
 787 span.keywordtype {
 788         color: var(--code-type-keyword-color);
 789 }
 790
 791 span.keywordflow {
 792         color: var(--code-flow-keyword-color);
 793 }
 794
 795 span.comment {
 796         color: var(--code-comment-color);
 797 }
 798
 799 span.preprocessor {
 800         color: var(--code-preprocessor-color);
 801 }
 802
 803 span.stringliteral {
 804         color: var(--code-string-literal-color);
 805 }
 806
 807 span.charliteral {
 808         color: var(--code-char-literal-color);
 809 }
 810
 811 span.vhdldigit {
 812         color: var(--code-vhdl-digit-color);
 813 }
 814
 815 span.vhdlchar {
 816         color: var(--code-vhdl-char-color);
 817 }
 818
 819 span.vhdlkeyword {
 820         color: var(--code-vhdl-keyword-color);
 821 }
 822
 823 span.vhdllogic {
 824         color: var(--code-vhdl-logic-color);
 825 }
 826
 827 blockquote {
 828         background-color: var(--blockquote-background-color);
 829         border-left: 2px solid var(--blockquote-border-color);
 830         margin: 0 24px 0 4px;
 831         padding: 0 12px 0 16px;
 832 }
 833
 834 /* @end */
 835
 836 td.tiny {
 837         font-size: 75%;
 838 }
 839
 840 .dirtab {
 841         padding: 4px;
 842         border-collapse: collapse;
 843         border: 1px solid var(--table-cell-border-color);
 844 }
 845
 846 th.dirtab {
 847         background-color: var(--table-header-background-color);
 848         color: var(--table-header-foreground-color);
 849         font-weight: bold;
 850 }
 851
 852 hr {
 853         height: 0px;
 854         border: none;
 855         border-top: 1px solid var(--separator-color);
 856 }
 857
 858 hr.footer {
 859         height: 1px;
 860 }
 861
 862 /* @group Member Descriptions */
 863
 864 table.memberdecls {
 865         border-spacing: 0px;
 866         padding: 0px;
 867 }
 868
 869 .memberdecls td, .fieldtable tr {
 870         -webkit-transition-property: background-color, box-shadow;
 871         -webkit-transition-duration: 0.5s;
 872         -moz-transition-property: background-color, box-shadow;
 873         -moz-transition-duration: 0.5s;
 874         -ms-transition-property: background-color, box-shadow;
 875         -ms-transition-duration: 0.5s;
 876         -o-transition-property: background-color, box-shadow;
 877         -o-transition-duration: 0.5s;
 878         transition-property: background-color, box-shadow;
 879         transition-duration: 0.5s;
 880 }
 881
 882 .memberdecls td.glow, .fieldtable tr.glow {
 883         background-color: var(--glow-color);
 884         box-shadow: 0 0 15px var(--glow-color);
 885 }
 886
 887 .mdescLeft, .mdescRight,
 888 .memItemLeft, .memItemRight,
 889 .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
 890         background-color: var(--memdecl-background-color);
 891         border: none;
 892         margin: 4px;
 893         padding: 1px 0 0 8px;
 894 }
 895
 896 .mdescLeft, .mdescRight {
 897         padding: 0px 8px 4px 8px;
 898         color: var(--memdecl-foreground-color);
 899 }
 900
 901 .memSeparator {
 902         border-bottom: 1px solid var(--memdecl-separator-color);
 903         line-height: 1px;
 904         margin: 0px;
 905         padding: 0px;
 906 }
 907
 908 .memItemLeft, .memTemplItemLeft {
 909         white-space: nowrap;
 910 }
 911
 912 .memItemRight, .memTemplItemRight {
 913         width: 100%;
 914 }
 915
 916 .memTemplParams {
 917         color: var(--memdecl-template-color);
 918         white-space: nowrap;
 919         font-size: 80%;
 920 }
 921
 922 /* @end */
 923
 924 /* @group Member Details */
 925
 926 /* Styles for detailed member documentation */
 927
 928 .memtitle {
 929         padding: 8px;
 930         border-top: 1px solid var(--memdef-border-color);
 931         border-left: 1px solid var(--memdef-border-color);
 932         border-right: 1px solid var(--memdef-border-color);
 933         border-top-right-radius: 4px;
 934         border-top-left-radius: 4px;
 935         margin-bottom: -1px;
 936         background-image: var(--memdef-title-gradient-image);
 937         background-repeat: repeat-x;
 938         background-color: var(--memdef-title-background-color);
 939         line-height: 1.25;
 940         font-weight: 300;
 941         float:left;
 942 }
 943
 944 .permalink
 945 {
 946         font-size: 65%;
 947         display: inline-block;
 948         vertical-align: middle;
 949 }
 950
 951 .memtemplate {
 952         font-size: 80%;
 953         color: var(--memdef-template-color);
 954         font-weight: normal;
 955         margin-left: 9px;
 956 }
 957
 958 .mempage {
 959         width: 100%;
 960 }
 961
 962 .memitem {
 963         padding: 0;
 964         margin-bottom: 10px;
 965         margin-right: 5px;
 966         -webkit-transition: box-shadow 0.5s linear;
 967         -moz-transition: box-shadow 0.5s linear;
 968         -ms-transition: box-shadow 0.5s linear;
 969         -o-transition: box-shadow 0.5s linear;
 970         transition: box-shadow 0.5s linear;
 971         display: table !important;
 972         width: 100%;
 973 }
 974
 975 .memitem.glow {
 976          box-shadow: 0 0 15px var(--glow-color);
 977 }
 978
 979 .memname {
 980         font-weight: 400;
 981         margin-left: 6px;
 982 }
 983
 984 .memname td {
 985         vertical-align: bottom;
 986 }
 987
 988 .memproto, dl.reflist dt {
 989         border-top: 1px solid var(--memdef-border-color);
 990         border-left: 1px solid var(--memdef-border-color);
 991         border-right: 1px solid var(--memdef-border-color);
 992         padding: 6px 0px 6px 0px;
 993         color: var(--memdef-proto-text-color);
 994         font-weight: bold;
 995         text-shadow: var(--memdef-proto-text-shadow);
 996         background-color: var(--memdef-proto-background-color);
 997         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
 998         border-top-right-radius: 4px;
 999 }
1000
1001 .overload {
1002         font-family: var(--font-family-monospace);
1003         font-size: 65%;
1004 }
1005
1006 .memdoc, dl.reflist dd {
1007         border-bottom: 1px solid var(--memdef-border-color);
1008         border-left: 1px solid var(--memdef-border-color);
1009         border-right: 1px solid var(--memdef-border-color);
1010         padding: 6px 10px 2px 10px;
1011         border-top-width: 0;
1012         background-image:url('nav_g.png');
1013         background-repeat:repeat-x;
1014         background-color: var(--memdef-doc-background-color);
1015         /* opera specific markup */
1016         border-bottom-left-radius: 4px;
1017         border-bottom-right-radius: 4px;
1018         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
1019         /* firefox specific markup */
1020         -moz-border-radius-bottomleft: 4px;
1021         -moz-border-radius-bottomright: 4px;
1022         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
1023         /* webkit specific markup */
1024         -webkit-border-bottom-left-radius: 4px;
1025         -webkit-border-bottom-right-radius: 4px;
1026         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
1027 }
1028
1029 dl.reflist dt {
1030         padding: 5px;
1031 }
1032
1033 dl.reflist dd {
1034         margin: 0px 0px 10px 0px;
1035         padding: 5px;
1036 }
1037
1038 .paramkey {
1039         text-align: right;
1040 }
1041
1042 .paramtype {
1043         white-space: nowrap;
1044 }
1045
1046 .paramname {
1047         color: var(--memdef-param-name-color);
1048         white-space: nowrap;
1049 }
1050 .paramname em {
1051         font-style: normal;
1052 }
1053 .paramname code {
1054         line-height: 14px;
1055 }
1056
1057 .params, .retval, .exception, .tparams {
1058         margin-left: 0px;
1059         padding-left: 0px;
1060 }
1061
1062 .params .paramname, .retval .paramname, .tparams .paramname, .exception .paramname {
1063         font-weight: bold;
1064         vertical-align: top;
1065 }
1066
1067 .params .paramtype, .tparams .paramtype {
1068         font-style: italic;
1069         vertical-align: top;
1070 }
1071
1072 .params .paramdir, .tparams .paramdir {
1073         font-family: var(--font-family-monospace);
1074         vertical-align: top;
1075 }
1076
1077 table.mlabels {
1078         border-spacing: 0px;
1079 }
1080
1081 td.mlabels-left {
1082         width: 100%;
1083         padding: 0px;
1084 }
1085
1086 td.mlabels-right {
1087         vertical-align: bottom;
1088         padding: 0px;
1089         white-space: nowrap;
1090 }
1091
1092 span.mlabels {
1093         margin-left: 8px;
1094 }
1095
1096 span.mlabel {
1097         background-color: var(--label-background-color);
1098         border-top:1px solid var(--label-left-top-border-color);
1099         border-left:1px solid var(--label-left-top-border-color);
1100         border-right:1px solid var(--label-right-bottom-border-color);
1101         border-bottom:1px solid var(--label-right-bottom-border-color);
1102         text-shadow: none;
1103         color: var(--label-foreground-color);
1104         margin-right: 4px;
1105         padding: 2px 3px;
1106         border-radius: 3px;
1107         font-size: 7pt;
1108         white-space: nowrap;
1109         vertical-align: middle;
1110 }
1111
1112
1113
1114 /* @end */
1115
1116 /* these are for tree view inside a (index) page */
1117
1118 div.directory {
1119         margin: 10px 0px;
1120         border-top: 1px solid var(--directory-separator-color);
1121         border-bottom: 1px solid var(--directory-separator-color);
1122         width: 100%;
1123 }
1124
1125 .directory table {
1126         border-collapse:collapse;
1127 }
1128
1129 .directory td {
1130         margin: 0px;
1131         padding: 0px;
1132         vertical-align: top;
1133 }
1134
1135 .directory td.entry {
1136         white-space: nowrap;
1137         padding-right: 6px;
1138         padding-top: 3px;
1139 }
1140
1141 .directory td.entry a {
1142         outline:none;
1143 }
1144
1145 .directory td.entry a img {
1146         border: none;
1147 }
1148
1149 .directory td.desc {
1150         width: 100%;
1151         padding-left: 6px;
1152         padding-right: 6px;
1153         padding-top: 3px;
1154         border-left: 1px solid rgba(0,0,0,0.05);
1155 }
1156
1157 .directory tr.odd {
1158         padding-left: 6px;
1159         background-color: var(--index-odd-item-bg-color);
1160 }
1161
1162 .directory tr.even {
1163         padding-left: 6px;
1164         background-color: var(--index-even-item-bg-color);
1165 }
1166
1167 .directory img {
1168         vertical-align: -30%;
1169 }
1170
1171 .directory .levels {
1172         white-space: nowrap;
1173         width: 100%;
1174         text-align: right;
1175         font-size: 9pt;
1176 }
1177
1178 .directory .levels span {
1179         cursor: pointer;
1180         padding-left: 2px;
1181         padding-right: 2px;
1182         color: var(--page-link-color);
1183 }
1184
1185 .arrow {
1186     color: var(--nav-arrow-color);
1187     -webkit-user-select: none;
1188     -khtml-user-select: none;
1189     -moz-user-select: none;
1190     -ms-user-select: none;
1191     user-select: none;
1192     cursor: pointer;
1193     font-size: 80%;
1194     display: inline-block;
1195     width: 16px;
1196     height: 22px;
1197 }
1198
1199 .icon {
1200     font-family: var(--font-family-icon);
1201     line-height: normal;
1202     font-weight: bold;
1203     font-size: 12px;
1204     height: 14px;
1205     width: 16px;
1206     display: inline-block;
1207     background-color: var(--icon-background-color);
1208     color: var(--icon-foreground-color);
1209     text-align: center;
1210     border-radius: 4px;
1211     margin-left: 2px;
1212     margin-right: 2px;
1213 }
1214
1215 .icona {
1216     width: 24px;
1217     height: 22px;
1218     display: inline-block;
1219 }
1220
1221 .iconfopen {
1222     width: 24px;
1223     height: 18px;
1224     margin-bottom: 4px;
1225     background-image:url('folderopen.png');
1226     background-position: 0px -4px;
1227     background-repeat: repeat-y;
1228     vertical-align:top;
1229     display: inline-block;
1230 }
1231
1232 .iconfclosed {
1233     width: 24px;
1234     height: 18px;
1235     margin-bottom: 4px;
1236     background-image:url('folderclosed.png');
1237     background-position: 0px -4px;
1238     background-repeat: repeat-y;
1239     vertical-align:top;
1240     display: inline-block;
1241 }
1242
1243 .icondoc {
1244     width: 24px;
1245     height: 18px;
1246     margin-bottom: 4px;
1247     background-image:var(--icon-doc-image);
1248     background-position: 0px -4px;
1249     background-repeat: repeat-y;
1250     vertical-align:top;
1251     display: inline-block;
1252 }
1253
1254 /* @end */
1255
1256 div.dynheader {
1257         margin-top: 8px;
1258         -webkit-touch-callout: none;
1259         -webkit-user-select: none;
1260         -khtml-user-select: none;
1261         -moz-user-select: none;
1262         -ms-user-select: none;
1263         user-select: none;
1264 }
1265
1266 address {
1267         font-style: normal;
1268         color: var(--footer-foreground-color);
1269 }
1270
1271 table.doxtable caption {
1272         caption-side: top;
1273 }
1274
1275 table.doxtable {
1276         border-collapse:collapse;
1277         margin-top: 4px;
1278         margin-bottom: 4px;
1279 }
1280
1281 table.doxtable td, table.doxtable th {
1282         border: 1px solid var(--table-cell-border-color);
1283         padding: 3px 7px 2px;
1284 }
1285
1286 table.doxtable th {
1287         background-color: var(--table-header-background-color);
1288         color: var(--table-header-foreground-color);
1289         font-size: 110%;
1290         padding-bottom: 4px;
1291         padding-top: 5px;
1292 }
1293
1294 table.fieldtable {
1295         margin-bottom: 10px;
1296         border: 1px solid var(--memdef-border-color);
1297         border-spacing: 0px;
1298         border-radius: 4px;
1299         box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
1300 }
1301
1302 .fieldtable td, .fieldtable th {
1303         padding: 3px 7px 2px;
1304 }
1305
1306 .fieldtable td.fieldtype, .fieldtable td.fieldname {
1307         white-space: nowrap;
1308         border-right: 1px solid var(--memdef-border-color);
1309         border-bottom: 1px solid var(--memdef-border-color);
1310         vertical-align: top;
1311 }
1312
1313 .fieldtable td.fieldname {
1314         padding-top: 3px;
1315 }
1316
1317 .fieldtable td.fielddoc {
1318         border-bottom: 1px solid var(--memdef-border-color);
1319 }
1320
1321 .fieldtable td.fielddoc p:first-child {
1322         margin-top: 0px;
1323 }
1324
1325 .fieldtable td.fielddoc p:last-child {
1326         margin-bottom: 2px;
1327 }
1328
1329 .fieldtable tr:last-child td {
1330         border-bottom: none;
1331 }
1332
1333 .fieldtable th {
1334         background-image: var(--memdef-title-gradient-image);
1335         background-repeat:repeat-x;
1336         background-color: var(--memdef-title-background-color);
1337         font-size: 90%;
1338         color: var(--memdef-proto-text-color);
1339         padding-bottom: 4px;
1340         padding-top: 5px;
1341         text-align:left;
1342         font-weight: 400;
1343         border-top-left-radius: 4px;
1344         border-top-right-radius: 4px;
1345         border-bottom: 1px solid var(--memdef-border-color);
1346 }
1347
1348
1349 .tabsearch {
1350         top: 0px;
1351         left: 10px;
1352         height: 36px;
1353         background-image: var(--nav-gradient-image);
1354         z-index: 101;
1355         overflow: hidden;
1356         font-size: 13px;
1357 }
1358
1359 .navpath ul
1360 {
1361         font-size: 11px;
1362         background-image: var(--nav-gradient-image);
1363         background-repeat:repeat-x;
1364         background-position: 0 -5px;
1365         height:30px;
1366         line-height:30px;
1367         color:var(--nav-text-normal-color);
1368         border:solid 1px var(--nav-breadcrumb-border-color);
1369         overflow:hidden;
1370         margin:0px;
1371         padding:0px;
1372 }
1373
1374 .navpath li
1375 {
1376         list-style-type:none;
1377         float:left;
1378         padding-left:10px;
1379         padding-right:15px;
1380         background-image:var(--nav-breadcrumb-image);
1381         background-repeat:no-repeat;
1382         background-position:right;
1383         color: var(--nav-foreground-color);
1384 }
1385
1386 .navpath li.navelem a
1387 {
1388         height:32px;
1389         display:block;
1390         text-decoration: none;
1391         outline: none;
1392         color: var(--nav-text-normal-color);
1393         font-family: var(--font-family-nav);
1394         text-shadow: var(--nav-text-normal-shadow);
1395         text-decoration: none;
1396 }
1397
1398 .navpath li.navelem a:hover
1399 {
1400         color: var(--nav-text-hover-color);
1401         text-shadow: var(--nav-text-hover-shadow);
1402 }
1403
1404 .navpath li.footer
1405 {
1406         list-style-type:none;
1407         float:right;
1408         padding-left:10px;
1409         padding-right:15px;
1410         background-image:none;
1411         background-repeat:no-repeat;
1412         background-position:right;
1413         color: var(--footer-foreground-color);
1414         font-size: 8pt;
1415 }
1416
1417
1418 div.summary
1419 {
1420         float: right;
1421         font-size: 8pt;
1422         padding-right: 5px;
1423         width: 50%;
1424         text-align: right;
1425 }
1426
1427 div.summary a
1428 {
1429         white-space: nowrap;
1430 }
1431
1432 table.classindex
1433 {
1434         margin: 10px;
1435         white-space: nowrap;
1436         margin-left: 3%;
1437         margin-right: 3%;
1438         width: 94%;
1439         border: 0;
1440         border-spacing: 0;
1441         padding: 0;
1442 }
1443
1444 div.ingroups
1445 {
1446         font-size: 8pt;
1447         width: 50%;
1448         text-align: left;
1449 }
1450
1451 div.ingroups a
1452 {
1453         white-space: nowrap;
1454 }
1455
1456 div.header
1457 {
1458         background-image: var(--header-gradient-image);
1459         background-repeat:repeat-x;
1460         background-color: var(--header-background-color);
1461         margin:  0px;
1462         border-bottom: 1px solid var(--header-separator-color);
1463 }
1464
1465 div.headertitle
1466 {
1467         padding: 5px 5px 5px 10px;
1468 }
1469
1470 .PageDocRTL-title div.headertitle {
1471   text-align: right;
1472   direction: rtl;
1473 }
1474
1475 dl {
1476         padding: 0 0 0 0;
1477 }
1478
1479 /* dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug, dl.examples */
1480 dl.section {
1481         margin-left: 0px;
1482         padding-left: 0px;
1483 }
1484
1485 dl.note {
1486   margin-left: -7px;
1487   padding-left: 3px;
1488   border-left: 4px solid;
1489   border-color: #D0C000;
1490 }
1491
1492 dl.warning, dl.attention {
1493   margin-left: -7px;
1494   padding-left: 3px;
1495   border-left: 4px solid;
1496   border-color: #FF0000;
1497 }
1498
1499 dl.pre, dl.post, dl.invariant {
1500   margin-left: -7px;
1501   padding-left: 3px;
1502   border-left: 4px solid;
1503   border-color: #00D000;
1504 }
1505
1506 dl.deprecated {
1507   margin-left: -7px;
1508   padding-left: 3px;
1509   border-left: 4px solid;
1510   border-color: #505050;
1511 }
1512
1513 dl.todo {
1514   margin-left: -7px;
1515   padding-left: 3px;
1516   border-left: 4px solid;
1517   border-color: #00C0E0;
1518 }
1519
1520 dl.test {
1521   margin-left: -7px;
1522   padding-left: 3px;
1523   border-left: 4px solid;
1524   border-color: #3030E0;
1525 }
1526
1527 dl.bug {
1528   margin-left: -7px;
1529   padding-left: 3px;
1530   border-left: 4px solid;
1531   border-color: #C08050;
1532 }
1533
1534 dl.section dd {
1535         margin-bottom: 6px;
1536 }
1537
1538
1539 #projectrow
1540 {
1541         height: 56px;
1542 }
1543
1544 #projectlogo
1545 {
1546         text-align: center;
1547         vertical-align: bottom;
1548         border-collapse: separate;
1549 }
1550
1551 #projectlogo img
1552 {
1553         border: 0px none;
1554 }
1555
1556 #projectalign
1557 {
1558         vertical-align: middle;
1559         padding-left: 0.5em;
1560 }
1561
1562 #projectname
1563 {
1564         font-size: 200%;
1565         font-family: var(--font-family-title);
1566         margin: 0px;
1567         padding: 2px 0px;
1568 }
1569
1570 #projectbrief
1571 {
1572         font-size: 90%;
1573         font-family: var(--font-family-title);
1574         margin: 0px;
1575         padding: 0px;
1576 }
1577
1578 #projectnumber
1579 {
1580         font-size: 50%;
1581         font-family: 50% var(--font-family-title);
1582         margin: 0px;
1583         padding: 0px;
1584 }
1585
1586 #titlearea
1587 {
1588         padding: 0px;
1589         margin: 0px;
1590         width: 100%;
1591         border-bottom: 1px solid var(--title-separator-color);
1592         background-color: var(--title-background-color);
1593 }
1594
1595 .image
1596 {
1597         text-align: center;
1598 }
1599
1600 .dotgraph
1601 {
1602         text-align: center;
1603 }
1604
1605 .mscgraph
1606 {
1607         text-align: center;
1608 }
1609
1610 .plantumlgraph
1611 {
1612         text-align: center;
1613 }
1614
1615 .diagraph
1616 {
1617         text-align: center;
1618 }
1619
1620 .caption
1621 {
1622         font-weight: bold;
1623 }
1624
1625 dl.citelist {
1626         margin-bottom:50px;
1627 }
1628
1629 dl.citelist dt {
1630         color:var(--citation-label-color);
1631         float:left;
1632         font-weight:bold;
1633         margin-right:10px;
1634         padding:5px;
1635         text-align:right;
1636         width:52px;
1637 }
1638
1639 dl.citelist dd {
1640         margin:2px 0 2px 72px;
1641         padding:5px 0;
1642 }
1643
1644 div.toc {
1645         padding: 14px 25px;
1646         background-color: var(--toc-background-color);
1647         border: 1px solid var(--toc-border-color);
1648         border-radius: 7px 7px 7px 7px;
1649         float: right;
1650         height: auto;
1651         margin: 0 8px 10px 10px;
1652         width: 200px;
1653 }
1654
1655 div.toc li {
1656         background: url("bdwn.png") no-repeat scroll 0 5px transparent;
1657         font: 10px/1.2 var(--font-family-toc);
1658         margin-top: 5px;
1659         padding-left: 10px;
1660         padding-top: 2px;
1661 }
1662
1663 div.toc h3 {
1664         font: bold 12px/1.2 var(--font-family-toc);
1665         color: var(--toc-header-color);
1666         border-bottom: 0 none;
1667         margin: 0;
1668 }
1669
1670 div.toc ul {
1671         list-style: none outside none;
1672         border: medium none;
1673         padding: 0px;
1674 }
1675
1676 div.toc li.level1 {
1677         margin-left: 0px;
1678 }
1679
1680 div.toc li.level2 {
1681         margin-left: 15px;
1682 }
1683
1684 div.toc li.level3 {
1685         margin-left: 30px;
1686 }
1687
1688 div.toc li.level4 {
1689         margin-left: 45px;
1690 }
1691
1692 span.emoji {
1693         /* font family used at the site: https://unicode.org/emoji/charts/full-emoji-list.html
1694          * font-family: "Noto Color Emoji", "Apple Color Emoji", "Segoe UI Emoji", Times, Symbola, Aegyptus, Code2000, Code2001, Code2002, Musica, serif, LastResort;
1695          */
1696 }
1697
1698 span.obfuscator {
1699   display: none;
1700 }
1701
1702 .inherit_header {
1703         font-weight: bold;
1704         color: var(--inherit-header-color);
1705         cursor: pointer;
1706         -webkit-touch-callout: none;
1707         -webkit-user-select: none;
1708         -khtml-user-select: none;
1709         -moz-user-select: none;
1710         -ms-user-select: none;
1711         user-select: none;
1712 }
1713
1714 .inherit_header td {
1715         padding: 6px 0px 2px 5px;
1716 }
1717
1718 .inherit {
1719         display: none;
1720 }
1721
1722 tr.heading h2 {
1723         margin-top: 12px;
1724         margin-bottom: 4px;
1725 }
1726
1727 /* tooltip related style info */
1728
1729 .ttc {
1730         position: absolute;
1731         display: none;
1732 }
1733
1734 #powerTip {
1735         cursor: default;
1736         /*white-space: nowrap;*/
1737         color: var(--tooltip-foreground-color);
1738         background-color: var(--tooltip-background-color);
1739         border: 1px solid var(--tooltip-border-color);
1740         border-radius: 4px 4px 4px 4px;
1741         box-shadow: var(--tooltip-shadow);
1742         display: none;
1743         font-size: smaller;
1744         max-width: 80%;
1745         opacity: 0.9;
1746         padding: 1ex 1em 1em;
1747         position: absolute;
1748         z-index: 2147483647;
1749 }
1750
1751 #powerTip div.ttdoc {
1752         color: var(--tooltip-doc-color);
1753         font-style: italic;
1754 }
1755
1756 #powerTip div.ttname a {
1757         font-weight: bold;
1758 }
1759
1760 #powerTip a {
1761         color: var(--tooltip-link-color);
1762 }
1763
1764 #powerTip div.ttname {
1765         font-weight: bold;
1766 }
1767
1768 #powerTip div.ttdeci {
1769         color: var(--tooltip-declaration-color);
1770 }
1771
1772 #powerTip div {
1773         margin: 0px;
1774         padding: 0px;
1775         font-size: 12px;
1776         font-family: var(--font-family-tooltip);
1777         line-height: 16px;
1778 }
1779
1780 #powerTip:before, #powerTip:after {
1781         content: "";
1782         position: absolute;
1783         margin: 0px;
1784 }
1785
1786 #powerTip.n:after,  #powerTip.n:before,
1787 #powerTip.s:after,  #powerTip.s:before,
1788 #powerTip.w:after,  #powerTip.w:before,
1789 #powerTip.e:after,  #powerTip.e:before,
1790 #powerTip.ne:after, #powerTip.ne:before,
1791 #powerTip.se:after, #powerTip.se:before,
1792 #powerTip.nw:after, #powerTip.nw:before,
1793 #powerTip.sw:after, #powerTip.sw:before {
1794         border: solid transparent;
1795         content: " ";
1796         height: 0;
1797         width: 0;
1798         position: absolute;
1799 }
1800
1801 #powerTip.n:after,  #powerTip.s:after,
1802 #powerTip.w:after,  #powerTip.e:after,
1803 #powerTip.nw:after, #powerTip.ne:after,
1804 #powerTip.sw:after, #powerTip.se:after {
1805         border-color: rgba(255, 255, 255, 0);
1806 }
1807
1808 #powerTip.n:before,  #powerTip.s:before,
1809 #powerTip.w:before,  #powerTip.e:before,
1810 #powerTip.nw:before, #powerTip.ne:before,
1811 #powerTip.sw:before, #powerTip.se:before {
1812         border-color: rgba(128, 128, 128, 0);
1813 }
1814
1815 #powerTip.n:after,  #powerTip.n:before,
1816 #powerTip.ne:after, #powerTip.ne:before,
1817 #powerTip.nw:after, #powerTip.nw:before {
1818         top: 100%;
1819 }
1820
1821 #powerTip.n:after, #powerTip.ne:after, #powerTip.nw:after {
1822         border-top-color: var(--tooltip-background-color);
1823         border-width: 10px;
1824         margin: 0px -10px;
1825 }
1826 #powerTip.n:before, #powerTip.ne:before, #powerTip.nw:before {
1827         border-top-color: var(--tooltip-border-color);
1828         border-width: 11px;
1829         margin: 0px -11px;
1830 }
1831 #powerTip.n:after, #powerTip.n:before {
1832         left: 50%;
1833 }
1834
1835 #powerTip.nw:after, #powerTip.nw:before {
1836         right: 14px;
1837 }
1838
1839 #powerTip.ne:after, #powerTip.ne:before {
1840         left: 14px;
1841 }
1842
1843 #powerTip.s:after,  #powerTip.s:before,
1844 #powerTip.se:after, #powerTip.se:before,
1845 #powerTip.sw:after, #powerTip.sw:before {
1846         bottom: 100%;
1847 }
1848
1849 #powerTip.s:after, #powerTip.se:after, #powerTip.sw:after {
1850         border-bottom-color: var(--tooltip-background-color);
1851         border-width: 10px;
1852         margin: 0px -10px;
1853 }
1854
1855 #powerTip.s:before, #powerTip.se:before, #powerTip.sw:before {
1856         border-bottom-color: var(--tooltip-border-color);
1857         border-width: 11px;
1858         margin: 0px -11px;
1859 }
1860
1861 #powerTip.s:after, #powerTip.s:before {
1862         left: 50%;
1863 }
1864
1865 #powerTip.sw:after, #powerTip.sw:before {
1866         right: 14px;
1867 }
1868
1869 #powerTip.se:after, #powerTip.se:before {
1870         left: 14px;
1871 }
1872
1873 #powerTip.e:after, #powerTip.e:before {
1874         left: 100%;
1875 }
1876 #powerTip.e:after {
1877         border-left-color: var(--tooltip-border-color);
1878         border-width: 10px;
1879         top: 50%;
1880         margin-top: -10px;
1881 }
1882 #powerTip.e:before {
1883         border-left-color: var(--tooltip-border-color);
1884         border-width: 11px;
1885         top: 50%;
1886         margin-top: -11px;
1887 }
1888
1889 #powerTip.w:after, #powerTip.w:before {
1890         right: 100%;
1891 }
1892 #powerTip.w:after {
1893         border-right-color: var(--tooltip-border-color);
1894         border-width: 10px;
1895         top: 50%;
1896         margin-top: -10px;
1897 }
1898 #powerTip.w:before {
1899         border-right-color: var(--tooltip-border-color);
1900         border-width: 11px;
1901         top: 50%;
1902         margin-top: -11px;
1903 }
1904
1905 @media print
1906 {
1907   #top { display: none; }
1908   #side-nav { display: none; }
1909   #nav-path { display: none; }
1910   body { overflow:visible; }
1911   h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
1912   .summary { display: none; }
1913   .memitem { page-break-inside: avoid; }
1914   #doc-content
1915   {
1916     margin-left:0 !important;
1917     height:auto !important;
1918     width:auto !important;
1919     overflow:inherit;
1920     display:inline;
1921   }
1922 }
1923
1924 /* @group Markdown */
1925
1926 table.markdownTable {
1927         border-collapse:collapse;
1928         margin-top: 4px;
1929         margin-bottom: 4px;
1930 }
1931
1932 table.markdownTable td, table.markdownTable th {
1933         border: 1px solid var(--table-cell-border-color);
1934         padding: 3px 7px 2px;
1935 }
1936
1937 table.markdownTable tr {
1938 }
1939
1940 th.markdownTableHeadLeft, th.markdownTableHeadRight, th.markdownTableHeadCenter, th.markdownTableHeadNone {
1941         background-color: var(--table-header-background-color);
1942         color: var(--table-header-foreground-color);
1943         font-size: 110%;
1944         padding-bottom: 4px;
1945         padding-top: 5px;
1946 }
1947
1948 th.markdownTableHeadLeft, td.markdownTableBodyLeft {
1949         text-align: left
1950 }
1951
1952 th.markdownTableHeadRight, td.markdownTableBodyRight {
1953         text-align: right
1954 }
1955
1956 th.markdownTableHeadCenter, td.markdownTableBodyCenter {
1957         text-align: center
1958 }
1959
1960 tt, code, kbd, samp
1961 {
1962   display: inline-block;
1963 }
1964 /* @end */
1965
1966 u {
1967         text-decoration: underline;
1968 }
1969
1970 details>summary {
1971   list-style-type: none;
1972 }
1973
1974 details > summary::-webkit-details-marker {
1975     display: none;
1976 }
1977
1978 details>summary::before {
1979     content: "\25ba";
1980     padding-right:4px;
1981     font-size: 80%;
1982 }
1983
1984 details[open]>summary::before {
1985     content: "\25bc";
1986     padding-right:4px;
1987     font-size: 80%;
1988 }
1989