@charset "UTF-8";.astro-route-announcer{position:absolute;left:0;top:0;clip:rect(0 0 0 0);clip-path:inset(50%);overflow:hidden;white-space:nowrap;width:1px;height:1px}a[data-astro-cid-svspnz7o]#skip-to-content{display:inline-block;position:absolute;top:-10rem;padding:var(--space);margin:var(--space-sm);box-shadow:var(--shadow-generous);font-weight:600}a[data-astro-cid-svspnz7o]#skip-to-content:focus{position:absolute;z-index:1;top:0;outline:none}*,:after,:before{box-sizing:border-box;margin:0;padding:0;border:0 solid;font-family:inherit;font-style:inherit;color:inherit;overflow-wrap:break-word}img,video{display:block}button,input,optgroup,select,textarea{font-family:inherit;font-size:100%;line-height:1.15;margin:0;background-color:inherit;font:inherit}button,input{overflow:visible}button,select{text-transform:none}button,[type=button],[type=reset],[type=submit]{-webkit-appearance:button}@font-face{font-family:MessinaSans;src:url(/fonts/MessinaSansWeb-Regular.woff2) format("woff2"),url(/fonts/MessinaSansWeb-Regular.woff) format("woff");font-weight:400;font-style:normal}@font-face{font-family:MessinaSans;src:url(/fonts/MessinaSansWeb-SemiBold.woff2) format("woff2"),url(/fonts/MessinaSansWeb-SemiBold.woff) format("woff");font-weight:600;font-style:normal}h1,h2,h3{font-weight:600;padding-top:.25em;padding-bottom:.25em}h1{font-size:2.25rem;padding-top:0;padding-bottom:.5em}h2{font-size:1.5rem}h3{font-size:1.3125rem}strong{color:var(--color-fg-base)}.arrow-before:before{content:"→";color:var(--color-hl);margin-inline-end:.25rem}.arrow-before:focus:before{color:currentColor}.with-icon{display:inline-flex;align-items:center;justify-content:space-between}.with-icon [data-icon]{height:1em;width:1em;vertical-align:baseline}.with-icon [data-icon]:first-child{color:var(--color-hl)}.with-icon span+[data-icon],.with-icon [data-icon]+span{margin-left:var(--space-tiny)}.subtitle{font-weight:400}.identifier{font-feature-settings:"tnum";font-variant-numeric:tabular-nums;font-size:85%;font-weight:400;color:var(--color-fg-2);margin-inline:var(--space-sm)}.term,.venue,.pill{display:inline-block;border:1px solid var(--color-ui-border-strong);background-color:var(--color-bg-2);padding-inline:.5em;padding-block:.0625em;border-radius:var(--radius-subtle);text-transform:capitalize;font-size:.75rem}a{text-decoration:none;transition:color .25s ease-out,border-color .25s ease-out}a:hover:not(:focus){color:var(--color-hl)}a:focus{outline-style:solid;outline-width:.125rem;outline-color:var(--color-hl);background-color:var(--color-hl)}ul,ol,dl{list-style:none}ul.square{padding-left:1.75em;list-style:square}.stack>*+*{margin-top:var(--space)}@media (prefers-color-scheme: light){a:focus{color:var(--color-bg-base)}}.ruled{display:flex;-moz-column-gap:var(--space);column-gap:var(--space);align-items:baseline;margin-top:-.25em;padding-bottom:.25em;white-space:nowrap}.wrappable{display:flex;flex-flow:row wrap;gap:var(--space-sm)}.push-down{margin-top:auto}.push-right{margin-right:auto}.astro-code{padding:1rem var(--space);font-family:monospace;font-size:.875rem}.label{color:currentColor;font-size:.8125rem;opacity:.8}.label-size{font-size:.8125rem}.unselectable{-moz-user-select:none;-webkit-user-select:none;user-select:none}.nobreak{white-space:nowrap;overflow-x:hidden;text-overflow:ellipsis}.links{display:flex;flex-flow:row;gap:var(--space)}.button-list,.tag-list{display:flex;flex-wrap:wrap;gap:var(--space)}.button-list li,.tag-list li{display:flex;border-radius:var(--radius-subtle);border:1px solid var(--color-ui-border-subtle);background-color:var(--color-bg-2);transition:box-shadow .25s ease-out,background-color .25s ease-out,color .25s ease-out,border-color .25s ease-out}.button-list li>a,.button-list li>button,.button-list li>span,.tag-list li>a,.tag-list li>button,.tag-list li>span{width:100%;border-bottom:none;padding:.5em 1em}.button-list li>a:hover:not(:focus),.button-list li>button:hover:not(:focus),.button-list li>span:hover:not(:focus),.tag-list li>a:hover:not(:focus),.tag-list li>button:hover:not(:focus),.tag-list li>span:hover:not(:focus){color:var(--color-fg)}.button-list li>a:focus,.button-list li>button:focus,.button-list li>span:focus,.tag-list li>a:focus,.tag-list li>button:focus,.tag-list li>span:focus{outline-style:solid;outline-width:1px}.button-list li:hover,.tag-list li:hover{background-color:var(--color-bg-2-hover);border-color:var(--color-hl)}.button-list li:active,.tag-list li:active{box-shadow:0 .125rem .25rem #0000,0 0 .25rem #0008 inset}.button-list li:active a,.button-list li:active span,.tag-list li:active a,.tag-list li:active span{color:var(--color-hl)}#course-title .button-list li{background-color:color-mix(in srgb,var(--color-bg-base),transparent 50%);-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px)}#course-title .button-list li:hover{background-color:var(--color-bg-2-hover)}.tag-list li{border-radius:1rem}.tabular-nums{font-variant-numeric:tabular-nums}.background-dotted{background:radial-gradient(var(--color-ui-border-strong) 6.25%,var(--color-bg) 6.25%);background-size:16px 16px}section.heading{background:var(--color-bg);display:flex;flex-flow:row wrap;gap:var(--space);align-items:baseline}section.heading>ul{margin-left:auto}section h2{padding-bottom:var(--space)}section .cards+h2{padding-top:var(--space-pad)}.cards{--min-column-width: 16rem;display:grid;grid-template-columns:repeat(auto-fill,minmax(var(--min-column-width),1fr));gap:var(--space);justify-items:stretch;align-content:start}.cards a{border-bottom:none}.cards a:hover:not(:focus){color:var(--color-fg)}.cards.horizontal{display:flex;flex-flow:column}figure.card{height:100%;display:flex;flex-flow:column;gap:var(--space-sm);overflow:hidden;background-color:var(--color-bg-3);border:1px solid var(--color-ui-border-subtle);padding:var(--space-sm);border-radius:var(--radius);transition:border-color 333ms ease-out,transform 333ms ease-out}figure.card img,figure.card video{border-radius:var(--radius-subtle);box-shadow:0 0 .25rem var(--color-shadow-1);transition:box-shadow 333ms ease-out,transform 333ms ease-out}figure.card:hover{background-color:var(--color-bg-2-hover);border-color:var(--color-hl);transition:border-color .1s ease-out,transform .1s ease-out}figure.card:hover img{border-color:var(--color-hl);transition:transform .1s ease-out}figure.card:hover img,figure.card:hover video{box-shadow:0 0 .5rem var(--color-shadow-1);transition:box-shadow .1s ease-out}figure.card img{width:100%;height:auto}figure.card figcaption,figure.card .figcaption{flex:1;display:flex;flex-flow:column;gap:.125rem;padding:var(--space-tiny)}figure.card figcaption>*:first-child,figure.card .figcaption>*:first-child{margin-bottom:auto}figure.card figcaption h3,figure.card .figcaption h3{padding:0;padding-bottom:var(--space-tiny);font-size:1rem;font-weight:600}figure.card.horizontal{flex-flow:row;align-items:start}figure.card.horizontal figcaption,figure.card.horizontal .figcaption{align-self:stretch;padding:0 var(--space-tiny)}figure.card.horizontal img{max-width:25%;flex-basis:25%;flex-shrink:1}.et-al:after{content:" et al.";font-size:80%;color:var(--color-fg-2)}.yt-player{border-radius:var(--radius);border:1px solid var(--color-ui-border-subtle)}html{--line-thin: .5pt solid currentColor;--line-thick: .25rem solid currentColor;--space-tiny: .25rem;--space-sm: clamp(.25rem, 1vw, .5rem);--space: clamp(.5rem, 2vw, 1rem);--space-pad: clamp(1rem, 4vw, 2rem);--logo-size: clamp(36px, 8vw, 48px);--text-max-width: 70ch;--shadow-subtle: 0px .125rem .25rem #0006;--shadow-inset: 0px 0px .25rem #000c inset;--shadow-generous: 0px .25rem 1rem #000c;--radius-subtle: 2.5px;--radius: 5px;--radius-generous: .5rem;--color-fg-base: black;--color-bg-base: white;--color-fg: hsl(211, 25%, 10%);--color-fg-2: hsl(211, 10%, 40%);--color-bg: hsl(0, 0%, 98%);--color-bg-2: hsl(0, 0%, 93%);--color-bg-2-hover: hsl( 211, 50%, 95%);--color-bg-3: hsl(211, 0%, 96%);--color-hl: hsl(211, 75%, 40%);--color-hl-2: hsla(211, 100%, 93%);--color-hl-3: hsl(54, 100%, 67%);--color-ui-1: hsl(211, 10%, 93%);--color-ui-border-strong: hsl(211, 10%, 88%);--color-ui-border-subtle: hsl(211, 10%, 85%);--color-ui-4: hsl(211, 10%, 75%);--color-success: hsl(120, 50%, 90%);--color-failure: hsl(0, 50%, 90%);--color-mit-1: #231F20;--color-mit-2: rgb(163, 46, 0);--color-pill-blue-fg: hsl(211, 67%, 40%);--color-pill-blue-bg: hsl(211, 67%, 90%);--color-pill-blue-bg-3: hsl(211, 67%, 96%);--color-pill-red-fg: hsl(17, 67%, 40%);--color-pill-red-bg: hsl(17, 67%, 90%);--color-pill-red-bg-3: hsl(17, 67%, 96%);--color-pill-green-fg: hsl(114, 67%, 40%);--color-pill-green-bg: hsl(114, 67%, 90%);--color-pill-green-bg-3: hsl(114, 67%, 96%);--color-shadow-1: #0004;--color-shadow-2: #0000;scroll-behavior:smooth}html[data-theme=dark]{--color-fg-base: white;--color-bg-base: black;--color-fg: hsl( 0, 0%, 90%);--color-fg-2: hsl( 0, 0%, 70%);--color-bg: black;--color-bg-2: hsl( 0, 0%, 15%);--color-bg-2-hover: hsl(211, 50%, 8%);--color-bg-3: hsl(211, 0%, 6%);--color-hl: hsl(211, 100%, 60%);--color-ui-1: hsl(211, 15%, 5%);--color-ui-border-strong: hsl(211, 10%, 18%);--color-ui-border-subtle: hsl(211, 10%, 15%);--color-ui-4: hsl(211, 15%, 25%);--color-ui-hl-1: hsl(205, 25%, 11%);--color-ui-hl-2: hsl(205, 50%, 13%);--color-success: hsl(120, 30%, 15%);--color-failure: hsl(0, 30%, 15%);--color-mit-1: #8B8B8C;--color-mit-2: #C3C0BF;--color-pill-blue-fg: hsl(211, 67%, 80%);--color-pill-blue-bg: hsl(211, 67%, 30%);--color-pill-blue-bg-3: hsl(211, 67%, 6%);--color-pill-red-fg: hsl(17, 67%, 80%);--color-pill-red-bg: hsl(17, 67%, 30%);--color-pill-red-bg-3: hsl(17, 67%, 6%);--color-pill-green-fg: hsl(114, 67%, 80%);--color-pill-green-bg: hsl(114, 67%, 30%);--color-pill-green-bg-3: hsl(114, 67%, 6%);--color-shadow-1: #FFF3;--color-shadow-2: #FFF0}body{font-family:MessinaSans,system-ui,sans-serif;line-height:1.375;color:var(--color-fg);background-color:var(--color-bg-3);display:flex;flex-direction:column;min-height:100vh}svg.svelte-1anxq5f{overflow:visible}#lg-1.svelte-1anxq5f{color:var(--color-fg-base)}.srg-hyperplanes-logo.svelte-1anxq5f{stroke-opacity:1;stroke-width:1px;stroke:var(--color-bg)}a[data-astro-cid-mxajiik5]{color:var(--color-fg-base);max-height:55px;overflow:hidden}a[data-astro-cid-mxajiik5]:focus{--color-bg: var(--color-hl)}.logo[data-astro-cid-mxajiik5]{color:var(--color-fg);display:flex;flex-direction:row;align-items:center;overflow:visible}.logo[data-astro-cid-mxajiik5] .logo{max-width:64px;width:clamp(42px,8vw,64px)}.wordmark[data-astro-cid-mxajiik5]{padding-left:var(--space);text-transform:uppercase;font-size:.75em;font-weight:600;letter-spacing:.5pt;line-height:.875rem;width:-moz-min-content;width:min-content}nav[data-astro-cid-dmqpwcec]{justify-content:space-between;gap:.125rem;display:flex;align-items:inherit}a[data-astro-cid-dmqpwcec]{position:relative;white-space:nowrap;margin:0 .25rem;border-bottom:1px solid var(--color-bg-3)}a[data-astro-cid-dmqpwcec]:first-of-type{margin-left:0}a[data-astro-cid-dmqpwcec]:last-of-type{margin-right:0}a[data-astro-cid-dmqpwcec].active,a[data-astro-cid-dmqpwcec]:hover{border-color:var(--color-hl)}@media screen and (min-width: 512px){nav[data-astro-cid-dmqpwcec]{justify-content:flex-start;gap:var(--space)}}@media print{nav[data-astro-cid-dmqpwcec]{display:none}}.logos[data-astro-cid-x7qywgve]{margin-left:auto;display:flex;flex-direction:row;gap:1rem;align-items:flex-start;justify-content:flex-end;-webkit-user-select:none;-moz-user-select:none;user-select:none}.logos[data-astro-cid-x7qywgve] a[data-astro-cid-x7qywgve]{display:flex}.logos[data-astro-cid-x7qywgve] svg[data-astro-cid-x7qywgve],.logos[data-astro-cid-x7qywgve] [data-astro-cid-x7qywgve][astro-icon]{-webkit-user-select:none;-moz-user-select:none;user-select:none;flex-shrink:1;max-width:var(--logo-size);min-width:36px}header[data-astro-cid-3ef6ksr2]{position:relative;z-index:1;display:flex;flex-flow:row wrap;justify-content:space-between;align-items:center;padding:var(--space) var(--space-pad);padding-bottom:var(--space-pad);gap:var(--space-pad);background-color:var(--color-bg-3);border-bottom:1px solid var(--color-ui-border-strong)}header[data-astro-cid-3ef6ksr2] .logos{order:2}header[data-astro-cid-3ef6ksr2] nav{width:100%;order:3}@media screen and (min-width: 768px){header[data-astro-cid-3ef6ksr2]{padding-bottom:var(--space)}header[data-astro-cid-3ef6ksr2] .logos{order:3}header[data-astro-cid-3ef6ksr2] nav{width:-moz-max-content;width:max-content;order:2}}@media print{header[data-astro-cid-3ef6ksr2]{margin-top:0;padding-top:0}}#theme-toggle[data-astro-cid-cn3pouft]{cursor:pointer}#theme-toggle[data-astro-cid-cn3pouft]:hover{color:var(--color-hl)}html[data-theme=dark] #theme-toggle-label[data-astro-cid-cn3pouft]:after{content:"Light Theme"}html[data-theme=light] #theme-toggle-label[data-astro-cid-cn3pouft]:after{content:"Dark Theme"}footer[data-astro-cid-sz7xmlte]{display:flex;flex-direction:column;align-items:center;justify-content:stretch;font-size:1rem;color:var(--color-fg-2);border-top:1px solid var(--color-ui-border-strong);background-color:var(--color-bg-3);margin-top:auto;padding:var(--space-pad);gap:2rem}footer[data-astro-cid-sz7xmlte] nav[data-astro-cid-sz7xmlte],footer[data-astro-cid-sz7xmlte] .meta[data-astro-cid-sz7xmlte]{display:flex;flex-wrap:wrap;flex-direction:column;gap:var(--space-pad);align-items:center;width:-moz-max-content;width:max-content;max-width:100%}footer[data-astro-cid-sz7xmlte] nav[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte],footer[data-astro-cid-sz7xmlte] .meta[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]{width:-moz-max-content;width:max-content;white-space:nowrap;border-bottom:1px solid var(--color-hl)}footer[data-astro-cid-sz7xmlte] nav[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]:not(:hover),footer[data-astro-cid-sz7xmlte] .meta[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]:not(:hover){color:inherit}footer[data-astro-cid-sz7xmlte] nav[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]:focus,footer[data-astro-cid-sz7xmlte] .meta[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]:focus{color:var(--color-fg-base);border-bottom-color:currentColor}@media screen and (min-width: 448px){footer[data-astro-cid-sz7xmlte]{flex-direction:row;align-items:flex-start;justify-content:space-between;text-align:left}footer[data-astro-cid-sz7xmlte] nav[data-astro-cid-sz7xmlte],footer[data-astro-cid-sz7xmlte] .meta[data-astro-cid-sz7xmlte]{flex-direction:row;align-items:left}footer[data-astro-cid-sz7xmlte] nav[data-astro-cid-sz7xmlte]{margin-left:auto}}@media print{footer[data-astro-cid-sz7xmlte]{display:none}}.wrapper{display:contents}.wrapper aside.sidenav{display:none}@media screen and (min-width: 768px){.wrapper{display:flex;flex-flow:row nowrap}.wrapper aside.sidenav{display:flex;width:-moz-min-content;width:min-content;justify-content:center;border-right:1px solid var(--color-ui-border-strong);border-bottom:none;white-space:nowrap}.wrapper aside.sidenav .breadcrumbs{display:flex;flex-wrap:nowrap;align-self:flex-start;position:sticky;top:var(--space-pad);margin-top:var(--space-pad);margin-bottom:var(--space-pad);padding:0 var(--space);writing-mode:vertical-rl;font-size:1.3125rem}.wrapper aside.sidenav .breadcrumbs li{display:inline-block}.wrapper aside.sidenav .breadcrumbs li:first-of-type{color:var(--color-fg-2)}.wrapper aside.sidenav .breadcrumbs li:not(:last-of-type):after{content:"/";color:var(--color-hl);margin-inline-start:.5rem;margin-inline-end:.5rem}.wrapper aside.sidenav .breadcrumbs .date{margin-inline-start:var(--space-sm)}}main{flex-grow:1;background-color:var(--color-bg);display:grid}main a{border-bottom:1px solid var(--color-hl)}main a:focus{border-bottom-color:currentColor}main section{padding:var(--space-pad)}main section:not(:last-of-type){border-bottom:1px solid var(--color-ui-border-strong)}main section h1,main section h2{margin:0;padding:0}main section>h1,main section>h2,main section>h3{padding-top:0}