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