body{font-family:-apple-system,BlinkMacSystemFont,segoe ui,Roboto,Oxygen-Sans,Ubuntu,Cantarell,helvetica neue,sans-serif;line-height:1.6;display:flex;flex-direction:column;min-height:100vh;margin:0;padding:0}main{flex-grow:1}img{max-width:100%;border-radius:.2rem}pre{overflow-x:auto;border:.1rem solid #d3d3d3;padding:1rem}code{font-family:SFMono-Regular,Consolas,liberation mono,Menlo,Courier,monospace}.Banner{list-style:none;display:flex;flex-flow:row-reverse wrap-reverse;justify-content:space-between;margin:0;padding:0}.Banner-item:nth-child(1){order:4}.Banner-item:nth-child(2){order:3}.Banner-item:nth-child(3){order:2}.Banner-item:nth-child(4){order:1}.Banner-item--title{flex-grow:1}.Banner-heading{margin:0}.Banner-link{font-size:1.25rem;color:#fff;padding:.5rem 1rem}.Heading{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:baseline}.Heading-title{margin:1.5rem .5rem 0 0}.Heading-link{color:inherit}.Tags{list-style:none;display:flex;flex-wrap:wrap;justify-content:center;margin:1.5rem 0;padding:0}.Tags-item{border-radius:.2rem;margin:.2rem;padding:0 .3rem}.Tags-link{color:#fff}.Divider{display:flex;justify-content:center}.Divider::after{content:"\2015\2015"}.Pagination{font-size:1.25rem;color:inherit}.Pagination--right{float:right}.Footer{text-align:center;margin:1rem 0}.u-wrapper{max-width:63rem;margin:auto}.u-padding{padding:0 1rem}.u-background{background:#000}.u-clickable{font-weight:700;text-decoration:none;display:inline-block}kbd{border-radius:2px;padding:2px;border:1px solid grey}.u-clickable{font-weight:400;text-decoration:none;display:inline-block}body{font:17px/1.55 ibm plex sans,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,sans-serif;color:#000;font-weight:400}code,pre,email{font-family:ibm plex mono,Menlo,Consolas,monospace}nav.u-background>.u-wrapper{max-width:none;width:100%}nav .Banner{align-items:center;box-sizing:border-box;flex-flow:row wrap;justify-content:flex-end;min-height:2.8rem;padding:0 1rem}nav .Banner-item{align-items:center;display:flex;order:0!important}nav .Banner-item--title{flex-grow:0;margin-right:auto}nav .Banner-heading{align-items:center;display:flex;font-size:inherit;font-weight:inherit}nav .Banner-link{line-height:1.25}.color-head-light{color:#000;font-weight:400}.pub-item{display:grid;gap:.85rem;grid-template-columns:7rem minmax(0,1fr);margin:0 0 1.25rem}.pub-venue{font-weight:600;white-space:nowrap}.pub-content p{margin:0}.pub-award{color:red;font-weight:600}.pub-note{color:blue;font-weight:500}.name{white-space:nowrap}@media(max-width:600px){nav .Banner{justify-content:flex-start;padding:.45rem .75rem}nav .Banner-item--title{flex-basis:100%;margin-right:0}nav .Banner-link{padding:.35rem .65rem .35rem 0}.pub-item{gap:.6rem;grid-template-columns:7rem minmax(0,1fr)}}@media(max-width:380px){.pub-item{gap:.2rem;grid-template-columns:1fr}}a{font-weight:400;text-decoration:underline;color:#005587}strong,b{font-weight:640}ul,ol{margin-left:-12px}li{margin-top:0;margin-bottom:0}html{scroll-behavior:smooth}