@property --body-locked-bg-color{syntax: "<color>"; inherits: true; initial-value: rgba(255,255,255,.88);}@property --text-color{syntax: "<color>"; inherits: true; initial-value: #000;}@property --link-color{syntax: "<color>"; inherits: true; initial-value: #4185CA;}@property --font-size{syntax: "<length>"; inherits: true; initial-value: 16px;}@property --h2-font-size{syntax: "<length>"; inherits: true; initial-value: 24px;}:root{--page-overflow: clip;--body-locked-bg-color: rgba(0, 0, 0, .25);--h1-font-size-lg: 2.5rem;--h1-font-size: 2rem;--h1-line-height: 1.25;--h1-line-height-lg: 1.2;--h2-font-size-lg: 2rem;--h2-font-size: 1.75rem;--h3-font-size-lg: 1.5rem;--h3-font-size: 1.5rem;--h3-line-height: 1.4;--h3-line-height-lg: 1.4}.container.style--sticky-search{position:sticky;top:1rem;max-width:60rem;transition:top .1s ease-in-out;z-index:98}.header.show~main .container.style--sticky-search{top:7rem}@media (min-width: 992px){.header.show~main .container.style--sticky-search{top:9rem}}.header.is-open~main .container.style--sticky-search,.header.is-tree-open~main .container.style--sticky-search{z-index:4}