Lines Matching refs:var
78 --toc-sticky-top: var(--spacing-medium);
80 --toc-max-height: calc(100vh - 2 * var(--spacing-medium) - 85px);
108 --tablehead-foreground: var(--page-foreground-color);
116 --menu-focus-foreground: var(--page-background-color);
117 --menu-focus-background: var(--primary-color);
121 --header-background: var(--page-background-color);
122 --header-foreground: var(--page-foreground-color);
125 --searchbar-background: var(--side-nav-background);
126 --searchbar-foreground: var(--page-foreground-color);
133 --searchbar-border-radius: var(--searchbar-height);
137 --code-foreground: var(--page-foreground-color);
156 --side-nav-foreground: var(--page-foreground-color);
160 --toc-background: var(--side-nav-background);
161 --toc-foreground: var(--side-nav-foreground);
166 --memname-font-size: var(--code-font-size);
171 --webkit-scrollbar-color: var(--separator-color);
308 color: var(--page-foreground-color);
309 background-color: var(--page-background-color);
310 font-size: var(--page-font-size);
317 font-family: var(--font-family);
327 font-size: var(--page-font-size);
331 color: var(--page-secondary-foreground-color);
335 color: var(--primary-color) !important;
341 scroll-margin-top: var(--spacing-large);
350 background: var(--header-background);
351 border-bottom: 1px solid var(--separator-color);
365 padding: var(--spacing-small) var(--spacing-medium);
370 padding: var(--spacing-medium) var(--spacing-large);
372 color: var(--header-foreground);
378 padding-bottom: var(--spacing-small);
387 font-size: var(--title-font-size);
406 max-height: calc(var(--title-font-size) * 2);
407 margin-right: var(--spacing-small);
416 border-bottom: 1px solid var(--separator-color);
421 background: var(--page-secondary-foreground-color);
426 background: var(--code-background);
430 color: var(--page-secondary-foreground-color);
431 border-radius: var(--border-radius-medium);
435 color: var(--page-foreground-color);
441 display: var(--menu-display);
445 border-color: var(--header-foreground) transparent transparent transparent;
449 border-color: var(--menu-focus-foreground) transparent transparent transparent;
453 border-color: transparent transparent transparent var(--page-foreground-color);
457 border-color: transparent transparent transparent var(--menu-focus-foreground);
462 background: var(--page-background-color);
463 box-shadow: var(--box-shadow);
464 border: 1px solid var(--separator-color);
465 border-radius: var(--border-radius-medium) !important;
466 padding: var(--spacing-small);
483 color: var(--page-foreground-color) !important;
484 background: var(--page-background-color);
485 font-size: var(--navigation-font-size);
489 border-bottom-color: var(--page-background-color) !important;
493 border-bottom-color: var(--separator-color) !important;
497 font-size: var(--navigation-font-size) !important;
498 color: var(--menu-focus-foreground) !important;
500 background-color: var(--menu-focus-background);
501 border-radius: var(--border-radius-small) !important;
508 color: var(--header-foreground) !important;
510 font-size: var(--navigation-font-size);
511 border-radius: var(--border-radius-small) !important;
521 background: var(--menu-focus-background);
522 color: var(--menu-focus-foreground) !important;
523 border-radius: var(--border-radius-small) !important;
524 font-size: var(--navigation-font-size);
528 border-radius: var(--border-radius-small);
529 background: var(--menu-selected-background);
533 margin: var(--spacing-small) 0 var(--spacing-small) var(--spacing-small);
537 padding: 0 var(--spacing-large);
546 height: var(--searchbar-height);
547 background: var(--searchbar-background);
548 border-radius: var(--searchbar-border-radius);
549 border: 1px solid var(--separator-color);
551 width: var(--searchbar-width);
587 right: var(--spacing-medium);
594 margin-left: var(--spacing-medium);
604 border-color: var(--primary-color);
605 box-shadow: inset 0 0 0 1px var(--primary-color);
619 font-size: var(--navigation-font-size);
620 height: calc(var(--searchbar-height) - 2px);
622 width: calc(var(--searchbar-width) - 64px);
626 color: var(--searchbar-foreground);
630 top: calc(calc(var(--searchbar-height) / 2) - 11px);
639 padding-top: calc(calc(var(--searchbar-height) / 2) - 12px);
641 right: var(--spacing-small);
645 top: calc(calc(var(--searchbar-height) / 2) - 12px);
662 right: var(--spacing-medium);
663 border-radius: var(--border-radius-large);
664 border: 1px solid var(--separator-color);
666 box-shadow: var(--box-shadow);
668 background: var(--page-background-color);
695 padding: var(--spacing-small) var(--spacing-medium);
699 border: 1px solid var(--separator-color);
700 border-radius: var(--border-radius-medium);
701 box-shadow: var(--box-shadow);
702 background: var(--page-background-color);
703 padding-top: var(--spacing-small);
704 padding-bottom: var(--spacing-small);
708 font-size: var(--navigation-font-size);
709 line-height: var(--content-line-height);
710 margin: 0 var(--spacing-small);
711 border-radius: var(--border-radius-small);
712 color: var(--page-foreground-color) !important;
717 background: var(--menu-focus-background);
718 color: var(--menu-focus-foreground) !important;
723 margin-top: var(--spacing-medium);
724 margin-bottom: var(--spacing-medium);
749 left: var(--spacing-medium) !important;
750 right: var(--spacing-medium);
781 background: var(--side-nav-background);
802 font-size: var(--navigation-font-size);
806 height: var(--tree-item-height);
807 line-height: var(--tree-item-height);
835 border-radius: 0 var(--border-radius-small) var(--border-radius-small) 0;
836 background: var(--primary-color);
841 color: var(--side-nav-foreground) !important;
850 opacity: var(--side-nav-arrow-opacity);
866 opacity: var(--side-nav-arrow-hover-opacity);
870 color: var(--primary-color) !important;
878 box-shadow: inset -1px 0 0 0 var(--separator-color);
886 border-bottom: 1px solid var(--separator-color);
887 background-color: var(--page-background-color);
907 max-width: var(--content-maxwidth);
912 margin: calc(var(--spacing-medium) + .2em) auto var(--spacing-medium) auto;
916 margin: var(--spacing-medium) auto 0 auto;
926 padding: var(--spacing-medium) var(--spacing-large);
934 padding: 0 var(--spacing-large);
938 border-color: var(--separator-color);
942 background: var(--primary-color);
946 margin-right: var(--spacing-medium);
954 padding: 0 var(--spacing-large);
958 line-height: var(--content-line-height);
962 margin: var(--spacing-medium) 0;
990 color: var(--page-foreground-color);
992 100px 0 var(--page-background-color),
993 -100px 0 var(--page-background-color),
994 100px 0.75px var(--separator-color),
995 -100px 0.75px var(--separator-color),
996 500px 0 var(--page-background-color),
997 -500px 0 var(--page-background-color),
998 500px 0.75px var(--separator-color),
999 -500px 0.75px var(--separator-color),
1000 900px 0 var(--page-background-color),
1001 -900px 0 var(--page-background-color),
1002 900px 0.75px var(--separator-color),
1003 -900px 0.75px var(--separator-color),
1004 1400px 0 var(--page-background-color),
1005 -1400px 0 var(--page-background-color),
1006 1400px 0.75px var(--separator-color),
1007 -1400px 0.75px var(--separator-color),
1008 1900px 0 var(--page-background-color),
1009 -1900px 0 var(--page-background-color),
1010 1900px 0.75px var(--separator-color),
1011 -1900px 0.75px var(--separator-color);
1015 margin: 0 var(--spacing-medium) 0 var(--spacing-medium);
1016 padding: var(--spacing-small) var(--spacing-large);
1017 background: var(--blockquote-background);
1018 color: var(--blockquote-foreground);
1021 border-radius: var(--border-radius-medium);
1047 margin: var(--spacing-small) 0 var(--spacing-medium) 0;
1051 color: var(--primary-dark-color);
1060 font-family: var(--font-family-monospace);
1061 font-size: var(--code-font-size);
1062 padding-right: var(--spacing-small);
1063 line-height: var(--table-line-height);
1067 text-shadow: 0 0 15px var(--primary-light-color);
1071 color: var(--page-foreground-color);
1094 max-height: var(--toc-max-height);
1095 min-width: var(--toc-width);
1097 border-left: 1px solid var(--separator-color);
1099 background-color: var(--page-background-color);
1102 top: var(--toc-sticky-top);
1103 padding: 0 var(--spacing-large);
1104 margin: var(--spacing-small) 0 var(--spacing-large) var(--spacing-large);
1108 color: var(--toc-foreground);
1109 font-size: var(--navigation-font-size);
1110 margin: var(--spacing-large) 0 var(--spacing-medium) 0;
1116 line-height: var(--toc-font-size);
1117 margin: var(--toc-font-size) 0 0 0;
1129 font-size: var(--toc-font-size);
1130 color: var(--page-foreground-color) !important;
1135 color: var(--primary-color) !important;
1139 color: var(--page-secondary-foreground-color) !important;
1148 margin: 0 0 var(--spacing-medium) 0;
1152 border: 1px solid var(--separator-color);
1153 border-radius: var(--border-radius-medium);
1154 background-color: var(--toc-background);
1155 box-shadow: var(--box-shadow);
1159 max-height: calc(var(--navigation-font-size) + 2 * var(--spacing-large));
1168 background-color: var(--toc-background);
1170 padding: var(--spacing-large) 0;
1180 border-top: 5px solid var(--primary-color);
1182 margin-right: var(--spacing-small);
1183 margin-bottom: calc(var(--navigation-font-size) / 4);
1185 transition: transform var(--animation-duration) ease-out;
1199 color: var(--primary-color) !important;
1212 border-radius: var(--border-radius-small);
1213 border: 1px solid var(--separator-color);
1219 background: var(--code-background);
1220 color: var(--code-foreground);
1225 margin: var(--spacing-medium) 0;
1226 padding: calc(var(--spacing-large) - (var(--spacing-large) / 6)) var(--spacing-large);
1227 background: var(--fragment-background);
1228 color: var(--fragment-foreground);
1249 margin: var(--spacing-medium) calc(0px - var(--spacing-large));
1256 margin: var(--spacing-medium) calc(0px - var(--spacing-large));
1261 margin: var(--spacing-medium) calc(0px - var(--spacing-medium));
1276 margin: var(--spacing-medium) calc(0px - var(--spacing-medium));
1283 font-family: var(--font-family-monospace);
1284 font-size: var(--code-font-size) !important;
1288 margin-right: var(--spacing-medium);
1294 line-height: var(--fragment-lineheight);
1298 color: var(--fragment-keyword);
1302 color: var(--fragment-keywordtype);
1306 color: var(--fragment-keywordflow);
1310 color: var(--fragment-token)
1314 color: var(--fragment-comment);
1318 color: var(--fragment-link) !important;
1322 color: var(--fragment-preprocessor);
1329 background: var(--fragment-linenumber-background);
1330 color: var(--fragment-linenumber-color);
1335 color: var(--fragment-link) !important;
1339 …box-shadow: -999999px 0px 0 999999px var(--fragment-linenumber-background), -999998px 0px 0 999999…
1340 background-color: var(--fragment-linenumber-background) !important;
1344 border-radius: var(--border-radius-small);
1348 background-color: var(--primary-light-color);
1361 padding: var(--spacing-medium);
1362 margin: var(--spacing-medium) 0;
1363 color: var(--page-background-color);
1366 border-radius: var(--border-radius-small);
1374 background: var(--warning-color);
1375 border-left: 8px solid var(--warning-color-dark);
1376 color: var(--warning-color-darker);
1380 color: var(--warning-color-dark);
1384 background: var(--note-color);
1385 border-left: 8px solid var(--note-color-dark);
1386 color: var(--note-color-darker);
1390 color: var(--note-color-dark);
1394 background: var(--todo-color);
1395 border-left: 8px solid var(--todo-color-dark);
1396 color: var(--todo-color-darker);
1400 color: var(--todo-color-dark) !important;
1404 color: var(--todo-color-dark) !important;
1408 background: var(--bug-color);
1409 border-left: 8px solid var(--bug-color-dark);
1410 color: var(--bug-color-darker);
1414 color: var(--bug-color-dark) !important;
1418 background: var(--deprecated-color);
1419 border-left: 8px solid var(--deprecated-color-dark);
1420 color: var(--deprecated-color-darker);
1424 color: var(--deprecated-color-dark) !important;
1432 background: var(--invariant-color);
1433 border-left: 8px solid var(--invariant-color-dark);
1434 color: var(--invariant-color-darker);
1438 color: var(--invariant-color-dark);
1452 padding: 0 var(--spacing-medium);
1453 background: var(--page-background-color);
1457 border: 1px solid var(--separator-color);
1458 box-shadow: var(--box-shadow);
1462 box-shadow: 0px var(--spacing-medium) 0 -1px var(--fragment-background), var(--box-shadow);
1470 background: var(--fragment-background);
1475 font-size: var(--memtitle-font-size);
1476 font-family: var(--font-family-monospace);
1478 border-top-left-radius: var(--border-radius-medium);
1479 border-top-right-radius: var(--border-radius-medium);
1487 background: var(--fragment-background);
1488 height: var(--spacing-medium);
1489 bottom: calc(0px - var(--spacing-medium));
1493 border-top-right-radius: var(--border-radius-medium);
1510 color: var(--primary-dark-color) !important;
1514 border-color: var(--primary-light-color);
1518 border-top-right-radius: var(--border-radius-medium);
1519 border-bottom-right-radius: var(--border-radius-medium);
1520 border-bottom-left-radius: var(--border-radius-medium);
1530 border-radius: 0 var(--border-radius-small) 0 0;
1532 border-bottom: 1px solid var(--separator-color);
1533 padding: var(--spacing-medium);
1538 border-top-right-radius: var(--border-radius-medium);
1539 border-top-left-radius: var(--border-radius-medium);
1543 font-family: var(--font-family-monospace);
1544 color: var(--page-foreground-color);
1545 font-size: var(--memname-font-size);
1550 font-family: var(--font-family-monospace);
1551 color: var(--primary-dark-color);
1552 font-size: var(--memname-font-size);
1586 box-shadow: var(--box-shadow);
1587 border-radius: var(--border-radius-medium);
1588 border: 1px solid var(--separator-color);
1606 background: var(--code-background);
1607 border-bottom: 1px solid var(--separator-color);
1608 color: var(--page-foreground-color)
1627 margin-left: calc(0px - var(--spacing-large));
1628 margin-right: calc(0px - var(--spacing-large));
1629 max-width: calc(100% + 2 * var(--spacing-large));
1636 margin: var(--spacing-medium) 0;
1637 box-shadow: 0 0 0 1px var(--separator-color);
1638 border-radius: var(--border-radius-small);
1659 background: var(--tablehead-background);
1660 color: var(--tablehead-foreground);
1662 font-size: var(--page-font-size);
1670 border-top-left-radius: var(--border-radius-small);
1678 border-top-right-radius: var(--border-radius-small);
1687 border: 1px solid var(--separator-color);
1688 padding: var(--spacing-small) var(--spacing-medium);
1728 border-bottom: 1px solid var(--separator-color);
1745 font-size: var(--page-font-size);
1748 background-color: var(--tablehead-background);
1749 color: var(--tablehead-foreground);
1753 border-bottom: 1px solid var(--separator-color);
1754 border-right: 1px solid var(--separator-color);
1758 border-bottom-left-radius: var(--border-radius-small);
1762 border-bottom-right-radius: var(--border-radius-small);
1766 background-color: var(--primary-light-color);
1776 font-family: var(--font-family-monospace);
1777 font-size: var(--code-font-size);
1781 font-family: var(--font-family-monospace);
1782 font-size: var(--code-font-size);
1783 color: var(--primary-dark-color);
1793 padding-top: var(--spacing-small);
1794 padding-bottom: var(--spacing-small);
1795 border-top: 1px solid var(--separator-color);
1796 border-bottom: 1px solid var(--separator-color);
1797 background-color: var(--fragment-background);
1807 border-left: 1px solid var(--separator-color);
1808 border-right: 1px solid var(--separator-color);
1809 border-radius: var(--border-radius-small) var(--border-radius-small) 0 0;
1810 padding-bottom: var(--spacing-small);
1814 border-radius: 0 0 0 var(--border-radius-small);
1815 border-left: 1px solid var(--separator-color);
1820 border-radius: 0 0 var(--border-radius-small) 0;
1821 border-right: 1px solid var(--separator-color);
1827 border-radius: var(--border-radius-small) 0 0 var(--border-radius-small);
1828 border-left: 1px solid var(--separator-color);
1829 padding-left: var(--spacing-medium);
1834 border-radius: 0 var(--border-radius-small) var(--border-radius-small) 0;
1835 border-right: 1px solid var(--separator-color);
1836 padding-right: var(--spacing-medium);
1843 color: var(--page-foreground-color);
1844 padding: var(--spacing-small) 0;
1849 padding-right: var(--spacing-medium);
1853 background: var(--page-background-color);
1854 height: var(--spacing-large);
1860 margin-bottom: var(--spacing-large);
1864 padding: 0 0 var(--spacing-medium) 0;
1866 color: var(--page-secondary-foreground-color);
1877 border-top: 5px solid var(--primary-color);
1882 transition: transform var(--animation-duration) ease-out;
1896 font-family: var(--font-family-monospace);
1897 color: var(--primary-dark-color);
1898 font-size: var(--code-font-size);
1912 padding-left: var(--spacing-large);
1913 margin: 0 calc(0px - var(--spacing-large)) 0 calc(0px - var(--spacing-large));
1932 margin-bottom: calc(0px - var(--page-font-size));
1940 padding-right: var(--spacing-large);
1946 width: calc(100vw - 2 * var(--spacing-large));
1950 color: var(--page-foreground-color);
1960 width: calc(100vw - 2 * var(--spacing-large));
1983 margin-top: var(--spacing-large);
1984 margin-bottom: var(--spacing-large);
1986 background-color: var(--separator-color);
1991 box-shadow: 100px 0 var(--separator-color),
1992 -100px 0 var(--separator-color),
1993 500px 0 var(--separator-color),
1994 -500px 0 var(--separator-color),
1995 900px 0 var(--separator-color),
1996 -900px 0 var(--separator-color),
1997 1400px 0 var(--separator-color),
1998 -1400px 0 var(--separator-color),
1999 1900px 0 var(--separator-color),
2000 -1900px 0 var(--separator-color);
2010 margin-left: calc(0px - var(--spacing-large));
2011 margin-right: calc(0px - var(--spacing-large));
2012 max-width: calc(100% + 2 * var(--spacing-large));
2020 border-top: 1px solid var(--separator-color);
2021 border-bottom: 1px solid var(--separator-color);
2026 font-family: var(--font-family);
2027 font-size: var(--page-font-size);
2033 padding: calc(var(--spacing-small) / 2) var(--spacing-small);
2034 line-height: var(--table-line-height);
2038 border-radius: 0 var(--border-radius-small) var(--border-radius-small) 0;
2042 border-radius: var(--border-radius-small) 0 0 var(--border-radius-small);
2046 border-radius: 0 var(--border-radius-small) 0 0;
2050 border-radius: var(--border-radius-small) 0 0 0;
2058 background-color: var(--odd-color);
2068 margin: 0 var(--spacing-small);
2072 background: var(--primary-color);
2073 border-radius: var(--border-radius-small);
2074 font-size: var(--page-font-size);
2075 padding: calc(var(--page-font-size) / 5);
2076 line-height: var(--page-font-size);
2079 width: var(--page-font-size);
2086 height: var(--table-line-height);
2095 margin-left: calc(0px - var(--spacing-large));
2096 margin-right: calc(0px - var(--spacing-large));
2115 background: var(--odd-color);
2116 border-radius: var(--border-radius-small);
2136 border-color: var(--separator-color);
2137 color: var(--page-foreground-color);
2138 box-shadow: var(--box-shadow);
2139 border-radius: var(--border-radius-large);
2140 padding: var(--spacing-small);
2144 background-color: var(--odd-color);
2145 border-radius: var(--border-radius-small);
2146 border: 1px solid var(--separator-color);
2147 padding: var(--spacing-small) 0;
2160 background: var(--page-background-color);
2162 border-top: 1px solid var(--separator-color);
2163 border-bottom: 1px solid var(--separator-color);
2165 box-shadow: 0 0.75px 0 var(--separator-color);
2166 font-size: var(--navigation-font-size);
2174 color: var(--page-secondary-foreground-color);
2178 color: var(--page-secondary-foreground-color);
2179 margin-bottom: var(--spacing-large);
2191 color: var(--primary-color) !important;
2195 color: var(--primary-dark-color);
2205 margin-left: var(--spacing-large);
2214 border: 5px solid var(--page-background-color);
2225 border: 5px solid var(--separator-color);
2230 margin-right: var(--spacing-small);
2234 color: var(--primary-color);
2252 …width: calc(var(--webkit-scrollbar-size) + var(--webkit-scrollbar-padding) + var(--webkit-scrollba…
2253 …height: calc(var(--webkit-scrollbar-size) + var(--webkit-scrollbar-padding) + var(--webkit-scrollb…
2267 border: var(--webkit-scrollbar-padding) solid transparent;
2268 border-radius: calc(var(--webkit-scrollbar-padding) + var(--webkit-scrollbar-padding));
2282 background-color: var(--webkit-scrollbar-color);
2299 background-color: var(--side-nav-background);
2343 margin: 0 0 0 var(--spacing-small);
2345 width: var(--searchbar-height);
2346 height: var(--searchbar-height);
2349 border-radius: var(--searchbar-height);
2352 line-height: var(--searchbar-height);
2362 transition: transform var(--animation-duration) ease-in-out;
2386 background: var(--fragment-background);
2390 right: calc(var(--spacing-large) - (var(--spacing-large) / 2.5));
2391 top: calc(var(--spacing-large) - (var(--spacing-large) / 2.5));
2392 border: 1px solid var(--fragment-foreground);
2394 border-radius: var(--border-radius-small);
2413 fill: var(--fragment-foreground);
2442 margin-left: var(--spacing-small);
2443 color: var(--page-foreground-color) !important;
2447 …transition: opacity var(--animation-duration) ease-in-out, color var(--animation-duration) ease-in…
2451 fill: var(--page-foreground-color);
2474 padding: var(--spacing-small) 0;
2492 border-bottom: 1px solid var(--separator-color);
2499 margin: 0 calc(0px - var(--spacing-large));
2502 padding: 0 var(--spacing-large)
2507 color: var(--page-foreground-color);
2511 padding: calc(var(--spacing-large) / 2) 0;
2513 font-size: var(--page-font-size);
2515 box-shadow: 0 1px 0 0 var(--separator-color);
2534 padding: calc(var(--spacing-large) / 2) var(--spacing-large);
2535 border-radius: var(--border-radius-medium);
2536 …transition: background-color var(--animation-duration) ease-in-out, font-weight var(--animation-du…
2540 box-shadow: 8px 0 0 -7px var(--separator-color);
2544 background: var(--separator-color);
2562 border-radius: var(--border-radius-small) var(--border-radius-small) 0 0;
2563 background-color: var(--primary-color);
2564 …transition: width var(--animation-duration) ease-in-out, height var(--animation-duration) ease-in-…
2579 margin-top: calc(var(--spacing-large) * 3);
2609 padding: var(--spacing-large) 0 var(--spacing-small);
2614 border: 1px solid var(--separator-color);
2615 border-radius: var(--border-radius-medium);
2616 color: var(--page-secondary-foreground-color) !important;
2618 …transition: color var(--animation-duration) ease-in-out, background-color var(--animation-duration…
2622 color: var(--page-foreground-color) !important;
2623 background-color: var(--odd-color);
2627 …padding: var(--spacing-medium) var(--spacing-large) var(--spacing-medium) calc(var(--spacing-large…
2631 …padding: var(--spacing-medium) calc(var(--spacing-large) / 2) var(--spacing-medium) var(--spacing-…
2636 color: var(--page-secondary-foreground-color) !important;
2643 padding-right: var(--spacing-large);
2649 padding-left: var(--spacing-large);
2654 color: var(--page-foreground-color) !important;
2659 color: var(--page-foreground-color) !important;
2670 border-radius: var(--border-radius-medium) 0 0 var(--border-radius-medium);
2675 border-radius: 0 var(--border-radius-medium) var(--border-radius-medium) 0;