Lines Matching refs:toc
26 --toc-sticky-top: var(--spacing-medium);
27 --toc-width: 250px;
28 --toc-max-height: calc(100vh - 2 * var(--spacing-medium) - 85px);
29 --toc-font-size: 14px;
30 --toc-header-font-size: 15px;
141 --toc-background-color: var(--nav-background-color);
142 --toc-foreground-color: var(--nav-foreground-color);
143 --toc-active-color: var(--arm_dark_blue);
144 --toc-border-color: #D8DFEE;
145 --toc-header-color: #4665A2;
204 --font-family-toc: Lato, Calibri, sans-serif;
318 --toc-background-color: var(--nav-background-color);
319 --toc-active-color: #4665A2;
320 --toc-foreground-color: var(--nav-foreground-color);
321 --toc-border-color: #202E4A;
322 --toc-header-color: #A3B4D7;
380 --font-family-toc: Lato, Calibri, sans-serif;
689 div.content .toc {
694 div.toc {
695 max-height: var(--toc-max-height);
696 max-width: var(--toc-width);
704 top: var(--toc-sticky-top);
729 div.toc {
733 min-width: var(--toc-width);
1659 div.toc li {
1661 font-family: var(--font-family-toc);
1662 font-size: var(--toc-font-size);
1668 div.toc h3 {
1669 color: var(--toc-foreground);
1670 font-size: var(--toc-header-font-size);
1675 div.toc li {
1678 line-height: var(--toc-font-size);
1679 margin: var(--toc-font-size) 0 0 0;
1682 div.toc ul {
1686 div.toc li a.active {
1688 color: var(--toc-active-color) !important;
1691 div.toc li a:hover {
1695 div.toc li a {
1696 font-size: var(--toc-font-size);