@import"https://fonts.googleapis.com/css2?family=Open+Sans:ital,wght@0,300..800;1,300..800&display=swap";.site-header{--font-primary: "Open Sans", Arial, sans-serif;--z-header: 1000;--color-bg-translucent: rgba(249, 251, 253, .81);--transition-base: .3s;--nav-padding-y: var(--space-6);--space-6: 1.5rem;--space-8: 2rem;--color-border-nav: #E4EBF3;--color-text: #333;--gap-sm: var(--space-2);--radius-md: .5rem;--color-bg: #F9FBFD;--space-1: .25rem;--space-2: .5rem;--space-3: .75rem;--space-4: 1rem;--color-hover: rgba(56, 110, 224, .08);--btn-bg: var(--color-primary);--color-border: #D4D4D4;--fs-xl: 2rem;font-family:var(--font-primary);position:relative;top:0;z-index:var(--z-header);background-color:var(--color-bg-translucent);-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);transition:background-color var(--transition-base),border-color var(--transition-base)}.site-header.lean{--color-primary: #386EE0;--color-primary-focus: #1D4ED8;--color-primary-light: #4a90e2}.site-header.mathlib{--color-primary: #22C55E;--color-primary-focus: #16A34A;--color-primary-light: #4ADE80}@media (prefers-color-scheme: dark){.site-header{--color-bg-translucent: rgba(24, 24, 24, .85);--color-border-nav: #333;--color-text: white;--btn-bg: var(--color-primary);--color-hover: rgba(255, 255, 255, .08)}}.navbar{display:flex;justify-content:space-between;align-items:center;padding:var(--nav-padding-y) var(--space-8);border-bottom:1px solid var(--color-border-nav);box-sizing:border-box}.navbar-container{display:flex;justify-content:space-between;align-items:center;width:100%}.nav-logo{display:flex;align-items:center;margin-right:var(--space-6);font-size:25px;color:var(--color-text);font-weight:300;text-decoration:none}.nav-logo img,.nav-logo svg{vertical-align:middle}.desktop-menu{display:flex;justify-content:space-between;align-items:center;width:100%;list-style:none;margin:0;padding:0;gap:var(--space-6)}.desktop-menu-part{display:flex;align-items:center;gap:var(--gap-sm);list-style:none;margin:0;padding:0}.nav-item-lean{display:flex;align-items:center;list-style:none}.navbar-container{margin:0 20px}.navbar .divider{width:1px;height:20px;background:#929292a1;display:block}.bar-link-lean{gap:10px;text-decoration:none;display:flex;align-items:center;justify-content:center;color:var(--color-text);font-weight:500;padding:var(--space-3) var(--space-4);border-radius:var(--radius-md);transition:all var(--transition-base);border:none;background:transparent;position:relative;font-size:.9rem;cursor:pointer;transform:translateY(0);white-space:nowrap}.bar-link-lean:before{content:"";position:absolute;top:0;right:0;bottom:0;left:0;background:var(--color-hover);border-radius:var(--radius-md);opacity:0;transition:opacity var(--transition-base);z-index:-1}.bar-link-lean:hover{color:var(--color-primary)}.bar-link-lean:hover:before{opacity:1}.bar-link-lean svg{width:20px;height:20px}.nav-item-lean.active .bar-link-lean{background-color:#668ee21f;color:var(--color-primary)}.nav-toggle{display:none;align-items:center}.nav-toggle-checkbox{display:none}.nav-toggle-label{display:flex;align-items:center;justify-content:center;cursor:pointer;padding:var(--space-3);font-size:var(--fs-xl);color:var(--color-text);transition:all var(--transition-base)}.mobile-nav{display:none;position:absolute;top:100%;left:0;right:0;background-color:var(--color-bg);-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);border-bottom:1px solid var(--color-border-nav);padding:var(--space-4) var(--space-8);background-color:var(--vscode-menu-background);z-index:100;list-style:none;margin:0}.mobile-nav .nav-list{list-style:none;margin:0;padding:0;width:100%;flex-direction:column;gap:0px}.mobile-nav .nav-item-lean{margin:var(--space-1) 0;width:100%;list-style:none}.mobile-nav .bar-link-lean{width:100%;display:flex;padding:var(--space-2) var(--space-4);gap:10px;justify-content:flex-start}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border-width:0}.nav-list{display:flex;align-items:center;gap:var(--gap-sm);list-style:none;margin:0;padding:0}.sub-navbar{display:flex;align-items:center;padding:var(--space-2) var(--space-8);border-bottom:1px solid var(--color-border-nav);box-sizing:border-box}.has-submenu{display:block}nav.sub-navbar .navbar-container{justify-content:start}.fro-toggle-checkbox{display:none}.has-submenu>.bar-link-lean{justify-content:space-between;position:relative;width:-webkit-fill-available}.has-submenu .submenu{display:none;flex-direction:column;padding-left:var(--space-4)}.fro-toggle-checkbox:checked+.bar-link-lean+.submenu{display:flex}.has-submenu>.bar-link-lean:after{content:"▸";transition:transform .3s;padding:0 10px}.fro-toggle-checkbox:checked+.bar-link-lean:after{transform:rotate(90deg)}@media (max-width: 1024px){.site-header{background-color:var(--color-bg)}.sub-navbar,.desktop-menu{display:none}.nav-toggle{display:flex}.nav-toggle-checkbox:checked~.mobile-nav,.nav-toggle .nav-toggle-checkbox:checked~.mobile-nav{display:block}.navbar:has(.nav-toggle-checkbox:checked) .mobile-nav{display:block}}@media (max-width: 768px){:root{--nav-padding-y: .3rem}.navbar{padding:var(--space-1) var(--space-2)}}input[type=file]{display:none}.modal-wrapper{position:fixed;top:0;right:0;bottom:0;left:0;padding:0}.modal-backdrop{position:fixed;top:0;right:0;bottom:0;left:0;background:var(--vscode-widget-shadow);z-index:2}.modal h2{text-align:center}.modal{position:absolute;top:50%;left:50%;transform:translate(-50%,-50%);min-width:50%;max-width:60ch;background:var(--vscode-input-background);z-index:3;padding:2rem;border-radius:1rem;border:1px solid var(--vscode-panel-border);text-align:left;color:var(--vscode-input-foreground)}@media only screen and (max-width: 800px){.modal{min-width:90%}}.modal input[type=text],.modal textarea{width:100%}.modal textarea{height:10em}.modal .form-error{color:var(--vscode-editorError-foreground);font-weight:700}.modal input[type=submit],.modal .file-upload-button{border:none;color:var(--vscode-button-foreground);background:var(--vscode-button-background);cursor:pointer;padding:.5rem 1rem;border-radius:.2rem}.modal input[type=submit]{display:block;margin:1rem auto}.modal .flex{display:flex;justify-content:space-between}.modal .flex label{margin-top:auto;margin-bottom:auto}.modal-close{float:right;scale:2;color:var(--vscode-input-foreground);cursor:pointer}.modal-close:hover{float:right;scale:2;color:var(--vscode-inputOption-activeForeground)}.modal table{width:100%}a{text-decoration:none;color:var(--vscode-textLink-foreground)}nav{border-bottom:1px solid var(--vscode-menu-separatorBackground);background-color:var(--vscode-menu-background);color:var(--vscode-menu-foreground);z-index:1}nav>svg{height:2.2rem;width:unset;vertical-align:middle;margin-left:.5rem;margin-right:1rem;filter:invert(1);mix-blend-mode:difference}nav .menu{float:right}nav .dropdown{display:inline-block;position:relative}nav .dropdown-content{position:absolute;right:0;display:flex;flex-direction:column;white-space:nowrap;background-color:var(--vscode-menu-background);z-index:1;border:none;border-top:1px solid var(--vscode-menu-separatorBackground);border-bottom:1px solid var(--vscode-menu-separatorBackground);box-shadow:-.1rem .3rem .3rem 0 var(--vscode-menu-separatorBackground)}nav .dropdown-content .dropdown .dropdown-content{z-index:2;left:0}nav .dropdown-content .dropdown>.nav-link{display:block}nav .dropdown-overlay{background-color:var(--vscode-menu-background);opacity:.7;position:absolute;width:100%;height:100%}nav .nav-link{background:none;border:none;color:inherit;cursor:pointer;text-decoration:none;display:inline-block;padding:.6rem .8rem}nav .nav-link svg{width:1.4rem}nav .nav-link:hover{color:var(--vscode-menu-selectionForeground);background-color:var(--vscode-menu-selectionBackground)}nav select{margin-left:.5rem;margin-right:.5rem}.tooltip{position:relative;cursor:pointer}.tooltip .tooltiptext{visibility:hidden;min-width:300px;background-color:var(--vscode-input-foreground);color:var(--vscode-input-background);text-align:left;border-radius:5px;padding:10px;position:absolute;z-index:1;bottom:125%;left:50%;margin-left:-150px;opacity:0;transition:opacity .3s}.tooltip:hover .tooltiptext{visibility:visible;opacity:1}.tooltip img{height:40px;width:40px;border-radius:20px;margin-right:.5em;margin-bottom:.5em;float:left}.tooltip p{padding:0;margin:0}.tooltip .tooltiptext .commit-message{font-weight:700}.tooltip .tooltiptext .commit-author{font-style:italic;color:#bbb}.tooltip .tooltiptext .commit-date{color:#bbb}.tooltip .tooltiptext .commit-sha{font-style:italic;color:#5cb6de}.app{display:flex;flex-direction:column;height:100%}.loading-ring{margin:auto;display:inline-block;width:80px;height:80px}.loading-ring:after{content:" ";display:block;width:64px;height:64px;margin:8px;border-radius:50%;border:6px solid #aaa;border-color:#aaa transparent #aaa transparent;animation:loading-ring 1.2s linear infinite}@keyframes loading-ring{0%{transform:rotate(0)}to{transform:rotate(360deg)}}.hidden{display:none!important}.editor-wrapper{flex:1;min-height:0;padding-top:.5rem}.editor{display:flex;flex:1}.codeview-wrapper{width:100%;position:relative}.codeview{height:100%;width:100%}.editor-support-warning{border:3px solid var(--vscode-editorWarning-foreground);border-radius:5px;padding:.5rem;margin-left:1rem;margin-right:1rem;color:var(--vscode-editorWarning-foreground)}.cm-editor{color:var(--vscode-editor-foreground);background-color:var(--vscode-editor-background)}.infoview{position:relative}.infoview iframe{width:100%;height:100%;border:none}.gutter{background-color:transparent;box-shadow:inset -1px -1px var(--vscode-editorWidget-border);background-repeat:no-repeat;background-position:50%}.gutter:hover,.dragging .gutter{background-color:var(--vscode-focusBorder);box-shadow:none;transition-delay:.3s}.infoview{overflow:auto}.abbreviation{text-decoration:underline}.processing,.monaco-editor .glyph-margin-error{background:linear-gradient(to right,var(--vscode-editorOverviewRuler-warningForeground) 0%,var(--vscode-editorOverviewRuler-warningForeground) 30%,transparent 30%,transparent 100%)}code{font-family:Source Code Pro,"STIX Two Math",monospace;color:var(--vscode-textPreformat-foreground);background-color:var(--vscode-textPreformat-background)}.notification-toasts{display:flex;flex-direction:column;overflow:hidden}.notification-toasts .codicon[class*=codicon-]{font-size:1.5em}.notification-toast-container{z-index:1000;position:absolute;right:1rem;bottom:1rem}.notification-toast{margin:.5em;background:var(--vscode-notifications-background);box-shadow:var(--vscode-widget-shadow) 0 0 .5em .1em;width:60ch;display:flex;flex-direction:column;padding:.7em .35em}.notification-row{flex:1;display:flex;padding-left:.3em;margin:.3em 0}.notification-row-main{flex:1;margin:.2em 0;padding:.1em}.notification-icon-wrapper{line-height:0;margin:0 .2em;padding:.1em}.notification-icon{color:var(--vscode-notificationsErrorIcon-foreground)}.notification-toasts button{border:none;color:var(--vscode-button-foreground);background:var(--vscode-button-background);cursor:pointer;padding:.5em 1em;border-radius:.2em;display:inline-block;margin:.2em .4em}.notification-toasts button:hover{background:var(--vscode-button-hoverBackground)}.notification-close-wrapper{cursor:pointer;line-height:0;margin:0 .2em;padding:.1em}.notification-close-wrapper:hover{background:var(--vscode-list-hoverBackground);border-radius:5px}.notification-close{cursor:pointer;display:flex}body{margin:0;font-family:Arial,Helvetica,sans-serif;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;background-color:#2b2b2b;color:#fff}#root{height:100vh;display:flex;flex-direction:column}@media (prefers-color-scheme: light){body{background:#fff;color:#000}}@font-face{font-family:JuliaMono;src:local("JuliaMono"),url(/fonts/JuliaMono-Regular.ttf),}