@import url("https://fonts.googleapis.com/css2?family=Crimson+Pro:ital,wght@0,400;0,500;0,600;1,500;1,600&display=swap");@import url("https://fonts.googleapis.com/css2?family=Ubuntu+Mono&display=swap");@import url("https://fonts.googleapis.com/css2?family=JetBrains+Mono&display=swap");:root{--font-serif: "Crimson Pro", serif;--font-sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen, Ubuntu, Cantarell, "Fira Sans", "Droid Sans", "Helvetica Neue", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";--font-mono: "Ubuntu Mono", Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, Consolas, "Liberation Mono", "DejaVu Sans Mono", "Courier New", monospace;--font-code: "JetBrains Mono", var(--font-mono);--font-body: var(--font-serif);--font-body-size: 16px;--body-padding: 0px}body{padding:var(--body-padding);font:var(--font-body-size)/1.5 var(--font-body);font-weight:400;margin:0}:root{--palette-bg: #fef5ef;--palette-surface: #f0dcda;--palette-border: #b3727f;--palette-text: #40101c;--palette-text-strong: #40101c;--palette-contrast: #40101c;--palette-inverse: #fef5ef;--palette-primary: #831f38;--palette-accent: #5e8c68;--profile-light-visibility: visible;--profile-dark-visibility: hidden}:root{--site-bg: var(--palette-bg);--site-text: var(--palette-text);--site-text-strong: var(--palette-text-strong);--site-text-muted: var(--palette-text);--site-text-subtle: var(--palette-text);--site-heading: var(--palette-primary);--site-link: var(--palette-accent);--site-link-hover: var(--palette-accent);--site-social-link: var(--palette-primary);--site-social-hover-bg: var(--palette-bg);--site-social-hover-text: var(--palette-text-strong);--site-surface: var(--palette-surface);--site-header-nav-bg: var(--palette-surface);--site-header-nav-active-bg: var(--palette-surface);--site-border: var(--palette-border);--site-border-strong: var(--palette-border);--site-code-text: var(--palette-text-strong);--site-table-heading: var(--palette-text);--site-icon-bg: var(--palette-bg);--site-icon-foreground: var(--palette-inverse);--site-twitter: var(--palette-accent);--site-facebook: var(--palette-accent);--site-linkedin: var(--palette-primary);--site-github: var(--palette-text-strong);--site-print-text: var(--palette-text)}body{background-color:var(--site-bg);color:var(--site-text)}.pub-row{display:flex;align-items:center}.social-icons a{display:inline-block;height:2.4rem;width:2.4rem;background-color:transparent;color:var(--site-social-link) !important;border-radius:100%;text-align:center;font-size:1.15rem;line-height:2.5rem;margin-right:1rem}.social-icons a:last-child{margin-right:0}.social-icons a:hover{background-color:var(--site-social-hover-bg);color:var(--site-social-hover-text);transform:scale(1.2)}.icon-button{background-color:var(--site-icon-bg);border-radius:3.6rem;cursor:pointer;display:inline-block;font-size:2.0rem;height:3.6rem;line-height:3.6rem;margin:0 5px;position:relative;text-align:center;-webkit-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none;width:3.6rem}.icon-button span{border-radius:0;display:block;height:0;left:50%;margin:0;position:absolute;top:50%;-webkit-transition:all 0.3s;-moz-transition:all 0.3s;-o-transition:all 0.3s;transition:all 0.3s;width:0}.icon-button:hover span{width:3.6rem;height:3.6rem;border-radius:3.6rem;margin:-1.8rem}.twitter span{background-color:var(--site-twitter)}.facebook span{background-color:var(--site-facebook)}.linkedin span{background-color:var(--site-linkedin)}.github span{background-color:var(--site-github)}email{font-size:14px;font-family:var(--font-mono)}.icon-button i{background:none;color:var(--site-icon-foreground);height:3.6rem;left:0;line-height:3.6rem;position:absolute;top:0;-webkit-transition:all 0.3s;-moz-transition:all 0.3s;-o-transition:all 0.3s;transition:all 0.3s;width:3.6rem;z-index:10}.icon-button .icon-twitter{color:var(--site-twitter)}.icon-button .icon-facebook{color:var(--site-facebook)}.icon-button .icon-github{color:var(--site-github)}.icon-button .icon-linkedin{color:var(--site-linkedin)}.icon-button:hover .icon-twitter,.icon-button:hover .icon-facebook,.icon-button:hover .icon-github,.icon-button:hover .icon-linkedin{color:var(--site-icon-foreground)}autocolor{color:var(--site-text)}lightonly{visibility:var(--profile-light-visibility)}darkonly{visibility:var(--profile-dark-visibility)}education{font-weight:500;font-size:115%}papertitle{font-weight:600;font-size:100%;color:var(--site-text-strong)}.image{border-radius:0.35em;border:0;display:inline-block;position:relative}.image:before{-moz-transition:opacity 0.2s ease-in-out;-webkit-transition:opacity 0.2s ease-in-out;-ms-transition:opacity 0.2s ease-in-out;transition:opacity 0.2s ease-in-out;border-radius:0.35em;content:'';display:block;height:100%;left:0;opacity:0.5;position:absolute;top:0;width:100%}.image.avatar{border-radius:0%}.image.avatar:before{display:none}.image.avatar img{border-radius:1em;width:180px;margin-bottom:20px}#header .image.avatar{margin:0 0 1em 0;width:8.00em}.webring{display:flex;align-items:center;justify-content:center;gap:8px;margin:1em}.webring a,.webring a:hover{color:var(--palette-primary)}h3,h4,h5,h6{font-weight:600;color:var(--site-heading);margin:0 0 20px}h1{font-weight:500;color:var(--site-heading);margin:0 0 20px}h2{color:var(--site-heading);font-weight:500;margin:2px 0px 15px;font-size:157%}p,ul,ol,table,pre,dl{margin:0 0 20px}h1,h2,h3{line-height:1.1}h1{font-size:28px}a{color:var(--site-link);text-decoration:none}a:hover{color:var(--site-link-hover)}a small{font-size:11px;color:var(--site-text-muted);margin-top:-0.3em;display:block}a:hover small{color:var(--site-text-muted)}.wrapper{width:960px;margin:0 auto}blockquote{border-left:1px solid var(--site-border);margin:0;padding:0 0 0 20px;font-style:italic}code,pre{font-family:var(--font-code);font-variant-ligatures:none;font-feature-settings:"liga" 0, "calt" 0;color:var(--site-code-text)}pre{max-width:500px;padding:8px 15px;background:var(--site-surface);border-radius:5px;border:1px solid var(--site-border);overflow-x:auto}table{width:100%;border-collapse:collapse}th,td{text-align:left;padding:5px 10px;border-bottom:1px solid var(--site-border)}dt{color:var(--site-table-heading);font-weight:500}th{color:var(--site-table-heading)}img{max-width:100%}header{width:232px;float:left;position:fixed;-webkit-font-smoothing:subpixel-antialiased;padding-top:4.0em;text-align:center}header ul{list-style:none;height:40px;padding:0;background:var(--site-header-nav-bg);border-radius:5px;border:1px solid var(--site-border-strong);width:270px}header li{width:89px;float:left;border-right:1px solid var(--site-border-strong);height:40px}header li:first-child a{border-radius:5px 0 0 5px}header li:last-child a{border-radius:0 5px 5px 0}header ul a{line-height:1;font-size:11px;color:var(--site-text-subtle);display:block;text-align:center;padding-top:6px;height:34px}header ul a:hover{color:var(--site-text-subtle)}header ul a:active{background-color:var(--site-header-nav-active-bg)}strong{color:var(--site-text-strong);font-weight:500}header ul li+li+li{border-right:none;width:89px}header ul a strong{font-size:14px;display:block;color:var(--site-text-strong)}section{width:650px;float:right;padding-top:4.0em;padding-bottom:50px}small{font-size:11px}hr{border:0;background:var(--site-border);height:1px;margin:0 0 20px}footer{width:232px;float:left;position:fixed;bottom:30px;-webkit-font-smoothing:subpixel-antialiased;text-align:center}@media print, screen and (max-width: 960px){.pub-row{display:flex;align-items:center}div.wrapper{width:auto;margin:0}header,section,footer{float:none;position:static;width:auto}header{padding-right:320px}section{border:1px solid var(--site-border);border-width:1px 0;padding:20px 0;margin:0 0 20px}header a small{display:inline}header ul{position:absolute;right:50px;top:52px}.image.avatar img{border-radius:2em;width:180px;padding:20px}#head1o2,#head2o2{visibility:hidden}}@media print, screen and (max-width: 960px){body{word-wrap:break-word;padding:15px}.pub-row{display:flex;align-items:center}header{padding:0}pre,code{word-wrap:normal}}@media print, screen and (max-width: 480px){.pub-row{display:block;align-items:center}body{padding:15px}header ul{width:99%}header li,header ul li+li+li{width:33%}.image.avatar img{border-radius:2em;width:160px;padding:20px}#head1o2,#head2o2{visibility:hidden}}@media print{body{padding:0.4in;font-size:12pt;color:var(--site-print-text)}}.biblink{text-decoration:none;display:inline;margin-right:0px}.fakelink{text-decoration:none;cursor:pointer}.bibref{font-size:70%;margin-top:10px;margin-left:0px;display:none;font-family:var(--font-mono)}