:root {
  color-scheme: light dark;
  --bg: #fff;
  --ink: #202020;
  --muted: #565656;
  --link: #164da0;
  --box: #f7f7f7;
  --rule: #d4d4d4;
}
@media (prefers-color-scheme: dark) {
  :root { --bg: #111; --ink: #ddd; --muted: #999; --link: #8ab4f8; --box: #1c1c1c; --rule: #444; }
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--ink); }
a { color: var(--link); text-underline-offset: 2px; }
a:hover { text-decoration-thickness: 2px; }
.homepage { max-width: 904px; padding: 32px 32px 64px; margin: 0 auto; font: 15.5px/1.5 Arial, Helvetica, sans-serif; overflow-wrap: anywhere; }
h1, h2, h3 { font-weight: 600; }
h1 { margin: 0; font-size: 25px; line-height: 1.25; }
h2 { margin: 0 0 14px; font-size: 17px; }
h3 { margin: 0 0 5px; font-size: 1em; }
strong { font-weight: 600; }
p { margin: 0 0 12px; }
.name-row { display: flex; align-items: center; flex-wrap: wrap; gap: 8px 14px; }
.contact-links { display: flex; list-style: none; margin: 0; padding: 0; gap: 4px; }
.contact-links a { display: inline-flex; align-items: center; justify-content: center; width: 30px; height: 30px; color: var(--muted); }
.contact-links a:hover { color: var(--link); }
.contact-links svg { width: 20px; height: 20px; }
.role { margin: 7px 0 16px; }
.bio p:last-child { margin-bottom: 0; }
section { margin-top: 26px; }
.note { margin: 12px 0 0; font-size: .85em; color: var(--muted); }
.publication { margin: 0 0 18px; }
.authors, .venue, .pub-links { margin: 0; font-size: .9em; }
.authors { margin-bottom: 3px; }
.pub-footer { display: flex; flex-wrap: wrap; align-items: baseline; gap: 2px 16px; }
.pending { margin: 0 0 18px; font-size: .9em; color: var(--muted); }
.pending p { margin: 0 0 4px; }
.tldr { margin: 8px 0 0; padding: 9px 12px; border-left: 2px solid var(--rule); background: var(--box); font-size: .94em; line-height: 1.55; }
.entry { position: relative; padding-right: 200px; margin: 0 0 13px; }
.entry p { margin: 0; }
.entry .detail { margin-top: 4px; font-size: .88em; }
.date { position: absolute; right: 0; top: 0; font-size: .88em; color: var(--muted); font-variant-numeric: tabular-nums; }
@media (max-width: 640px) {
  .homepage { padding: 28px 20px 48px; }
  .entry { padding-right: 0; }
  .date { position: static; display: block; margin-top: 2px; }
}
@media (pointer: coarse) {
  .contact-links a { width: 44px; height: 44px; }
}