@font-face{font-family:"CMU Sans Serif";font-style:roman;font-weight:500;src:url(/_build/assets/cmu-sans-serif-500-roman-DEvGFFj-.woff2) format("woff2"),url(/_build/assets/cmu-sans-serif-500-roman-BWZ7gbMp.ttf) format("truetype")}@font-face{font-family:"CMU Sans Serif";font-style:italic;font-weight:500;src:url(/_build/assets/cmu-sans-serif-500-italic-D55VRREZ.woff2) format("woff2"),url(/_build/assets/cmu-sans-serif-500-italic-2kjVoaz5.ttf) format("truetype")}@font-face{font-family:"CMU Sans Serif";font-style:roman;font-weight:700;src:url(/_build/assets/cmu-sans-serif-700-roman-CG65O9o4.woff2) format("woff2"),url(/_build/assets/cmu-sans-serif-700-roman-Dof_t5w6.ttf) format("truetype")}@font-face{font-family:"CMU Sans Serif";font-style:italic;font-weight:700;src:url(/_build/assets/cmu-sans-serif-700-italic-COQS5vd2.woff2) format("woff2"),url(/_build/assets/cmu-sans-serif-700-italic-DYV2mTq5.ttf) format("truetype")}@font-face{font-family:"CMU Serif";font-style:roman;font-weight:500;src:url(/_build/assets/cmu-serif-500-roman-eT-JDYhI.woff2) format("woff2"),url(/_build/assets/cmu-serif-500-roman-DzIVZ5Ds.ttf) format("truetype")}@font-face{font-family:"CMU Serif";font-style:italic;font-weight:500;src:url(/_build/assets/cmu-serif-500-italic-Ea3rjVFP.woff2) format("woff2"),url(/_build/assets/cmu-serif-500-italic-DmklLiNq.ttf) format("truetype")}@font-face{font-family:"CMU Serif";font-style:roman;font-weight:700;src:url(/_build/assets/cmu-serif-700-roman-CFvVWXrf.woff2) format("woff2"),url(/_build/assets/cmu-serif-700-roman-BjpK3YEj.ttf) format("truetype")}@font-face{font-family:"CMU Serif";font-style:italic;font-weight:700;src:url(/_build/assets/cmu-serif-700-italic-CxA60R0R.woff2) format("woff2"),url(/_build/assets/cmu-serif-700-italic-ysTsm4l3.ttf) format("truetype")}.main-container{width:100vw;height:100vh;display:flex;flex-direction:column;align-items:center}.main-container.light{background:var(--neutral-50);color:#000}.main-container.dark{background:var(--neutral-900);color:var(--neutral-50)}.dark .link-primary{color:var(--primary-400)}.darl .link-primary:hover{color:var(--primary-300)}.light .link-primary{color:var(--primary-700)}.light .link-primary:hover{color:var(--primary-600)}.page-container{width:100%;height:100vh;max-width:60rem;display:flex;flex-direction:column;align-items:stretch;font-size:16px;line-height:1.3}.page-body{width:100%;height:100%;min-height:0;flex-grow:1;display:flex;flex-direction:row;gap:5px}.page-content-container{padding:1rem;flex-grow:1;display:flex;flex-direction:column;gap:2rem;overflow-y:scroll}.page-title{font-size:2.5rem}.page-content{display:flex;flex-direction:column;gap:2rem;flex:1}.roboto{font-family:Roboto,sans-serif}.open-sans{font-family:Open Sans,sans-serif}.cmu-serif{font-family:"CMU Serif",serif}.cmu-sans-serif{font-family:"CMU Sans Serif",sans-serif}.link-foreground{text-decoration:none;color:inherit}.link-foreground:hover{text-decoration:underline}@media(width>65rem){.thin-sidebar-content{display:none}}.page-content h2{font-size:2rem}.page-content h3{font-size:1.7rem}.page-content h4{font-size:1.4rem}.page-content h2,.page-content h3,.page-content h4,.page-content h5,.page-content h6{margin-top:1rem}.qed{float:right}.parent-chain-display-container{flex-grow:0;flex-shrink:0;padding:.8rem;width:100%;align-items:start}.light .parent-chain-display-container{border-bottom:var(--neutral-300) solid 1px}.dark .parent-chain-display-container{border-bottom:var(--neutral-700) solid 1px}.parent-display-slash{margin:0 5px;font-family:Roboto,sans-serif;font-weight:bolder}.light .parent-display-slash,.dark .parent-display-slash{color:var(--neutral-500)}.page-sidebar{flex-grow:0;flex-shrink:0;padding:1rem;width:15rem;display:flex;flex-direction:column;gap:1rem;min-height:0}.light .page-sidebar{border-left:var(--neutral-300) solid 1px}.dark .page-sidebar{border-left:var(--neutral-700) solid 1px}@media(width<=65rem){.page-sidebar{display:none}}.search-bar-input{padding:10px;border-radius:10px;outline:none}.light .search-bar-input{background-color:var(--neutral-50);border:1px solid var(--neutral-300)}.light .search-bar-input:focus{border:1px solid var(--neutral-400)}.dark .search-bar-input{background-color:var(--neutral-900);color:var(--neutral-50);border:2px solid var(--neutral-700)}.dark .search-bar-input:focus{border:2px solid var(--neutral-500)}.theme-toggle-track{position:relative;height:2rem;width:4rem;min-width:4rem;border-radius:999px;cursor:pointer;border:none;display:flex;align-items:center;justify-content:space-between;transition:background .3s}.light .theme-toggle-track{background-color:var(--neutral-200);color:#000}.dark .theme-toggle-track{background-color:var(--neutral-800);color:var(--neutral-50)}.theme-toggle-icon{font-family:Material Icons,Comic Sans MS,serif;font-size:1.4rem;pointer-events:none}.theme-toggle-thumb{position:absolute;width:1.6rem;height:1.6rem;border-radius:50%;z-index:1;left:3px;transition:transform .3s}.light .theme-toggle-thumb{background-color:var(--neutral-500)}.dark .theme-toggle-thumb{background-color:var(--neutral-700)}.theme-toggle-thumb.selected-light{transform:translate(2rem)}.page-topbar{flex-grow:0;flex-shrink:0;padding:1rem;display:flex;flex-direction:column;gap:1rem}.light .page-topbar{border-bottom:var(--neutral-300) solid 1px}.dark .page-topbar{border-bottom:var(--neutral-700) solid 1px}.fill{flex-grow:1}.page-topbar-row{display:flex;flex-direction:row;align-items:center}@media(width>65rem){.page-topbar{display:none}}