:root{--background-color:#f8f8f8;--text-color:#222;--heading-color:#583299;--nav-color:#6c47ac;--link-icon-color:#943efd;--link-hover-background-color:#e8e3f0;--note-background-color:#e6d6f9;--muted-text-color:#555;--text-max-width:700px;--nav-width:240px;--footer-width:300px;--font-family-text:"Source Serif Pro", Georgia, serif;--font-family-heading:"IBM Plex Sans", "Gill Sans", "Trebuchet MS", sans-serif;--font-weight-light:300;--font-weight-normal:400;--font-weight-semibold:600;--font-size-small:0.85em;--line-height:1.35;--letter-spacing-caps:0.0125em;--space-small:0.5rem;--border-radius:0.5rem}html{background:var(--background-color);font-family:var(--font-family-text);font-kerning:normal;font-size:18px;font-weight:var(--font-weight-normal);scrollbar-gutter:stable;@media screen and (min-width:450px){font-size: 20px;}}body{color:var(--text-color);line-height:var(--line-height);margin:0;padding:12px}a{color:inherit;text-decoration:none;&:hover{background:var(--link-hover-background-color);border-radius:var(--border-radius)}}p:first-child{margin-block-start:0}ul,ol{padding-inline-start:1.5em}h1,h2,.alert-heading{font-family:var(--font-family-heading);font-weight:var(--font-weight-semibold);line-height:1}h2,.alert-heading{letter-spacing:var(--letter-spacing-caps);text-transform:uppercase}h1{color:var(--heading-color);font-size:1.5em;margin-block:1em}h2{font-size:1em;margin-block-start:1.5em}#skip{inset-inline:0;position:absolute;top:-20em;z-index:10000;& a{background-color:var(--link-hover-background-color);color:var(--heading-color);font-family:var(--font-family-heading);font-weight:var(--font-weight-semibold);inset-inline:0;padding:var(--space-small);position:absolute;text-align:center;&:hover, &:focus{top:20em}}}nav,#content,footer{margin-inline:auto;max-width:var(--text-max-width)}nav{color:var(--nav-color);font-weight:var(--font-weight-light);& ul{display:flex;flex-flow:row wrap;justify-content:space-between;list-style-type:none;margin:0;padding:0}& li{margin-block-start:var(--space-small);text-align:center}}footer{font-size:var(--font-size-small);font-weight:var(--font-weight-light);text-align:center}address{font-style:normal;margin-inline:auto;max-width:var(--footer-width);& ul{display:flex;flex-flow:row wrap;justify-content:space-around;list-style-type:none;padding-inline-start:0}}#copyright{font-size:var(--font-size-small)}@media screen and (min-width:1400px){#body-grid{display:grid;grid-template-columns:var(--nav-width)var(--text-max-width);justify-content:center}#content{margin:0}nav{margin:4.5em 0 0;& ul{flex-direction:column}& li{margin-block:0 calc(var(--line-height) * 1em);text-align:start}}footer{grid-column:1/span 2;width:var(--footer-width)}}main a::after{background-color:var(--link-icon-color);content:"\2060";display:inline;mask-image:url(data:image/svg+xml,%3Csvg%20xmlns=%22http://www.w3.org/2000/svg%22%20height=%2220%22%20viewBox=%220%20-960%20960%20960%22%20width=%2220%22%20fill=%22%23943efd%22%3E%3Cpath%20d=%22m606-192-51-51%20123-123H312q-70%200-119-49t-49-119%2049-119%20119-49h24v72h-24q-40.32.0-68.16%2027.77-27.84%2027.78-27.84%2068Q216-494%20243.84-466T312-438h366L555-561l51-51%20210%20210-210%20210z%22/%3E%3C/svg%3E);mask-position:center bottom;mask-repeat:no-repeat;mask-size:1em 1em;padding-inline-start:1em}blockquote.alert{background:var(--note-background-color);border-radius:var(--border-radius);margin:0;padding:var(--space-small);& p{margin-block:0 var(--space-small);&:last-child{margin-block-end:0}}& .alert-heading{color:var(--heading-color);font-size:var(--font-size-small)}}html.plain{display:grid;height:100%}body.plain{margin:auto;text-align:center}h1.errorpage{font-size:3em}#colophon{font-size:22px;font-style:italic;hyphens:auto;max-width:350px;text-align:justify;text-align-last:left;@media screen and (min-width:370px){font-size: 24px; text-align-last: justify;}& a::after{content:none}}main.color-links a{color:var(--nav-color);&::after{content:none}}.papers{list-style:none;padding:0;& li{margin-block-end:.8em}& .paper-title{display:block}& .paper-ref{color:var(--muted-text-color);font-size:var(--font-size-small);margin-inline-end:.5em;& b{color:var(--text-color);font-weight:var(--font-weight-semibold)}}& .paper-links{font-size:var(--font-size-small);font-weight:var(--font-weight-light);white-space:nowrap}}@media print{html{background:0 0}nav,footer address{display:none}main{& a::after{background-color:transparent;content:none;mask-image:none;padding-inline-start:0}& a[href^=http]::after{content:" (" attr(href)")";font-size:.75em;font-weight:var(--font-weight-light);word-break:break-all}}blockquote.alert{border:2px solid var(--heading-color)}}