:root{font-family:system-ui,Avenir,Helvetica,Arial,sans-serif;line-height:1.5;font-weight:400;color-scheme:light dark;color:#ffffffde;background-color:#242424;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}a{font-weight:500;color:#646cff;text-decoration:inherit}a:hover{color:#535bf2}body{margin:0;display:flex;place-items:center;min-width:320px;min-height:100vh}h1{font-size:3.2em;line-height:1.1}button{border-radius:8px;border:1px solid transparent;padding:.6em 1.2em;font-size:1em;font-weight:500;font-family:inherit;background-color:#1a1a1a;cursor:pointer;transition:border-color .25s}button:hover{border-color:#646cff}button:focus,button:focus-visible{outline:4px auto -webkit-focus-ring-color}@media(prefers-color-scheme:light){:root{color:#213547;background-color:var(--background-color)}a:hover{color:#747bff}button{background-color:#f9f9f9}}:root{--background-color: rgb(65, 65, 65);--dark-border-color: rgb(87, 87, 87);--active-line-color: rgb(74, 74, 74);--mint-color: rgb(26, 250, 127);--mint-color-hover: rgb(156, 255, 200);--mint-color2: #98FF98;--variable-color: var(--mint-color);--operator-color: rgb(40, 220, 229);--keyword-color: rgb(40, 220, 229);--hole-color: rgb(226, 97, 192);--mark-color: rgba(250, 26, 168, .2);--goal-text-color: var(--hole-color);--error-text-color: rgb(255, 105, 105);--invalid-parse-color: rgba(255, 255, 255, .5)}@font-face{font-family:Lato;src:url(/mint/fonts/Lato/Lato-Regular.ttf) format("truetype");font-weight:400;font-style:normal}@font-face{font-family:Lato;src:url(/mint/fonts/Lato/Lato-Italic.ttf) format("truetype");font-weight:400;font-style:italic}@font-face{font-family:FiraCode;src:url(/mint/fonts/FiraCode/static/FiraCode-Regular.ttf) format("truetype");font-weight:400;font-style:normal}*{margin:0;padding:0;box-sizing:border-box;font-family:Lato,sans-serif}body{background-color:var(--background-color);color:var(--mint-color);width:100%;margin:0;padding:0;font-size:20pt;display:block}.home{padding:15rem 0rem 0rem;text-align:center}.page-with-topbar{width:100%}.topbar{width:100vw;height:100px;padding:0rem 0rem 0rem 1.5rem;z-index:1000;box-sizing:border-box;display:flex;align-items:center;gap:1rem;border-width:0px 0px 3px 0px;border-style:solid;border-color:var(--mint-color)}.course-description{padding:1rem 2rem 0rem;font-size:15pt}.course-contents{padding:1rem 4rem 0rem;font-size:20pt}.course-entry{font-size:20pt}.current-entry{color:var(--mint-color-hover )}a{color:var(--mint-color);text-decoration:none}a:hover{color:var(--mint-color-hover)}.item-title{font-size:20pt;display:inline}.item{display:flex;height:100vh;width:100vw}.item-contents-sidebar{max-width:20%;padding:1rem 2rem 0rem;border-width:0px 3px 0px 0px;border-style:solid;border-color:var(--mint-color)}.item-contents-sidebar-contents{padding:1rem}.item-contents-sidebar-contents li{font-size:15pt}.item-middle{flex:1}.item-text,.item-form{padding:1rem 1rem 1rem 1.5rem;font-size:15pt}.hint{margin:8px 0;display:inline-block}.hint summary{cursor:pointer;font-weight:600;outline:none}.hint .hint-content{border-left:3px solid var(--mint-color);padding:6px 10px;margin-top:6px;background:#00000005;border-radius:2px}.cm-editor{border:2px solid var(--dark-border-color)}.CodeMirror-lines{padding-top:0!important}.cm-editor.cm-focused{outline:none}.semantic-error{background-color:var(--mark-color)!important}.hole{color:var(--hole-color)!important}.item-info-sidebar{width:20%;border-width:0px 0px 0px 3px;border-style:solid;border-color:var(--mint-color);position:relative}.item-inspector-sidebar,.victory-sidebar{padding:1rem}.item-agenda-sidebar{padding:1rem 1rem 0rem}.goal-message{font-size:15pt;color:var(--goal-text-color)}.error-message{font-size:15pt;color:var(--error-text-color)}.open-atlas-tab{position:absolute;top:0;right:0;width:45px;height:45px;border-width:0px 0px 3px 3px;border-radius:0 0 0 5px;border-style:solid;border-color:var(--mint-color);text-align:center;cursor:pointer}.atlas-sidebar{width:20%;border-width:0px 0px 0px 3px;border-style:solid;border-color:var(--mint-color);padding:1rem;font-size:12pt}.atlas-title{font-size:16pt;font-weight:700;margin-bottom:1rem;color:var(--mint-color)}.atlas-section{margin-bottom:1rem}.atlas-section-title{font-size:14pt;font-weight:700;color:var(--mint-color2);margin-bottom:.5rem}.atlas-entry{margin-bottom:.3rem;font-size:11pt;line-height:1.3}.atlas-entry strong{color:var(--operator-color)}