.pdf-button{display:inline-block;padding:3px 10px;border:1px solid currentColor;border-radius:3px;text-decoration:none;font-size:.9em}.pdf-button:hover{background:#f0f0ff}.profile{display:flex;align-items:center;gap:24px;margin:1.2em 0}.profile p{margin:0}.portrait{display:block;width:190px;height:190px;object-fit:cover}@media(max-width:480px){.profile{align-items:flex-start;flex-direction:column;gap:14px}}html{color-scheme:light}body{margin:24px auto;padding:0 24px;max-width:1040px;font-family:"Times New Roman",Times,serif;font-size:17px;line-height:1.43;color:#111;background:white}h1{font-size:2em;line-height:1.15;margin:0.67em 0}h2{font-size:1.5em;margin:1.3em 0 .5em}h3{font-size:1.08em;margin:0 0 .15em}a{color:#0000ee;text-decoration:underline}a:visited{color:#551a8b}a:focus-visible{outline:2px solid #000;outline-offset:3px}p{margin:.7em 0}nav{margin:1.2em 0}.research-entry{display:grid;grid-template-columns:72px 1fr;gap:16px;margin:1.3em 0 1.6em}.research-entry p{margin:.22em 0}.year{padding-top:1px}.bio{max-width:900px}footer{border-top:1px solid #bbb;margin:2.5em 0 1em;padding-top:.6em;font-size:.88em;color:#444}ul{padding-left:24px}li{margin:.35em 0}@media(max-width:600px){body{padding:0 16px;margin:18px auto;font-size:16px}.research-entry{grid-template-columns:1fr;gap:3px}.year{font-weight:bold}h1{font-size:1.8em}}@media print{body{max-width:none;margin:0;font-size:11pt}.print-button,nav{display:none}a{color:inherit}footer{display:none}.research-entry{break-inside:avoid}}
pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:.82em;padding:1em;background:#f6f6f6}#citation{margin-top:2em}.paper-body{max-width:900px;margin:0 auto}.paper-body p{text-align:left}.paper-body img{max-width:100%;height:auto}.paper-body figure{margin:1.3em 0}.paper-body figcaption{font-size:.88em;color:#444}.source-page{margin-top:1.8em}.math-excerpt{text-align:center}.table-scroll{overflow-x:auto}.source-footnote{font-size:.85em}.paper-body table{display:block;overflow:auto;max-width:100%;border-collapse:collapse;font-size:.9em}.paper-body th,.paper-body td{padding:.35em .6em;border:1px solid #ccc}.paper-body h2,.paper-body h3,.paper-body h4{margin-top:1.4em}.paper-body h3{font-size:1.2em}.paper-body a{overflow-wrap:anywhere}.paper-body section{scroll-margin-top:1em}.paper-nav{font-size:.95em}.abstract{max-width:900px}.paper-body math{font-family:math}.paper-body math[display="block"]{display:block;overflow-x:auto;overflow-y:hidden;padding:.4em 0}.paper-body .ltx_equation,.paper-body .ltx_equationgroup{overflow-x:auto;margin:1em 0}.paper-body .ltx_eqn_table{display:table;width:100%;border:0}.paper-body .ltx_eqn_table td{border:0;padding:.15em .25em;vertical-align:middle}.paper-body .ltx_eqn_eqno{white-space:nowrap;text-align:right}.paper-body .ltx_eqn_center_padleft,.paper-body .ltx_eqn_center_padright{width:50%}.paper-body .ltx_eqn_cell{white-space:nowrap}.paper-body .ltx_figure{text-align:center}.paper-body .ltx_figure figcaption{text-align:left}.paper-body .ltx_graphics{max-width:100%;height:auto}.paper-body .ltx_tabular{margin:.6em auto}.paper-body .ltx_biblist{padding-left:1.7em}.paper-body .ltx_bibitem{margin:.6em 0}.paper-body .ltx_ref_tag{white-space:nowrap}.paper-body h5,.paper-body h6{font-size:1em;margin:1.2em 0 .4em}.paper-body .ltx_title{line-height:1.25}.paper-body .ltx_item{list-style:none;position:relative}.paper-body .ltx_item>.ltx_tag_item{position:absolute;right:calc(100% + .5em);top:0;white-space:nowrap}html{scroll-padding-top:1em}@media(max-width:600px){.paper-body{overflow-wrap:anywhere}.paper-body figure{margin:1em 0}}