:root {
  --bg: #ffffff;
  --ink: #222222;
  --muted: #646464;
  --line: #dddddd;
  --link: #1f5f8b;
  --link-hover: #a23b3b;
  --soft: #f6f6f6;
}

body[data-theme="dark"] {
  --bg: #171717;
  --ink: #eeeeee;
  --muted: #b8b8b8;
  --line: #3a3a3a;
  --link: #8fc7ff;
  --link-hover: #ffb1a7;
  --soft: #242424;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: Georgia, "Times New Roman", serif;
  font-size: 17px;
  line-height: 1.65;
  transition: background-color 160ms ease, color 160ms ease;
}

a {
  color: var(--link);
  text-decoration: none;
}

a:hover {
  color: var(--link-hover);
  text-decoration: underline;
}

.site-header {
  display: flex;
  max-width: 980px;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  margin: 0 auto;
  padding: 22px 24px 18px;
  border-bottom: 1px solid var(--line);
}

.site-name {
  color: var(--ink);
  font-family: Arial, Helvetica, sans-serif;
  font-size: 18px;
  font-weight: 700;
}

.site-name:hover {
  color: var(--ink);
  text-decoration: none;
}

.nav-links {
  display: flex;
  flex-wrap: wrap;
  gap: 18px;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 14px;
}

.header-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 18px;
  align-items: center;
  justify-content: flex-end;
}

.theme-toggle {
  display: inline-flex;
  width: 32px;
  height: 32px;
  align-items: center;
  justify-content: center;
  padding: 0;
  background: var(--soft);
  border: 1px solid var(--line);
  color: var(--ink);
  cursor: pointer;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 13px;
}

.visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0 0 0 0);
  clip-path: inset(50%);
  white-space: nowrap;
}

.theme-icon {
  position: relative;
  width: 15px;
  height: 15px;
  flex: 0 0 15px;
}

.theme-icon-sun {
  display: inline-block;
  border: 2px solid var(--ink);
  border-radius: 50%;
  box-shadow:
    0 -7px 0 -5px var(--ink),
    0 7px 0 -5px var(--ink),
    7px 0 0 -5px var(--ink),
    -7px 0 0 -5px var(--ink),
    5px 5px 0 -5px var(--ink),
    -5px -5px 0 -5px var(--ink),
    5px -5px 0 -5px var(--ink),
    -5px 5px 0 -5px var(--ink);
}

.theme-icon-moon {
  display: none;
  border-radius: 50%;
  background: var(--ink);
}

.theme-icon-moon::after {
  position: absolute;
  top: -1px;
  left: 5px;
  width: 13px;
  height: 13px;
  border-radius: 50%;
  background: var(--soft);
  content: "";
}

body[data-theme="dark"] .theme-icon-sun {
  display: none;
}

body[data-theme="dark"] .theme-icon-moon {
  display: inline-block;
}

.theme-toggle:hover {
  border-color: var(--link-hover);
}

.theme-toggle:focus-visible {
  outline: 2px solid var(--link);
  outline-offset: 2px;
}

.page {
  width: min(100% - 48px, 900px);
  margin: 0 auto;
  padding: 44px 0 56px;
}

.intro {
  display: grid;
  grid-template-columns: 210px minmax(0, 1fr);
  gap: 36px;
  align-items: start;
  padding-bottom: 38px;
  border-bottom: 1px solid var(--line);
}

.portrait {
  width: 210px;
  overflow: visible;
  background: var(--soft);
  border: 1px solid var(--line);
}

.portrait img {
  width: 100%;
  height: auto;
  display: block;
}

.kicker {
  margin: 0 0 5px;
  color: var(--muted);
  font-family: Arial, Helvetica, sans-serif;
  font-size: 13px;
}

h1,
h2,
h3,
p {
  overflow-wrap: anywhere;
}

h1 {
  margin: 0 0 14px;
  font-size: 38px;
  line-height: 1.15;
  font-weight: 400;
}

.subtitle {
  margin: 4px 0 20px;
  color: var(--muted);
  font-family: Arial, Helvetica, sans-serif;
  font-size: 17px;
}

.intro-copy {
  max-width: 620px;
  margin: 0 0 10px;
}

.quick-links,
.inline-links {
  display: flex;
  flex-wrap: wrap;
  gap: 9px;
  align-items: center;
  margin-top: 18px;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 14px;
}

.quick-links a {
  padding: 5px 10px;
  border: 1px solid var(--line);
  background: var(--soft);
}

.quick-links a:hover {
  border-color: var(--link-hover);
  text-decoration: none;
}

.content-section {
  padding: 30px 0;
  border-bottom: 1px solid var(--line);
}

.content-section h2 {
  margin: 0 0 12px;
  font-size: 24px;
  font-weight: 400;
}

.content-section p {
  max-width: none;
  margin: 0 0 12px;
}

.plain-list {
  margin: 0;
  padding-left: 22px;
}

.entry + .entry {
  margin-top: 22px;
}

.entry h3 {
  margin: 0 0 4px;
  font-size: 18px;
}

.entry p {
  width: 100%;
  max-width: 100%;
  margin: 0;
}

.paper + .paper {
  margin-top: 18px;
}

.paper-title {
  font-weight: 400;
}

.paper-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
  align-items: center;
  margin-top: 6px;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12px;
}

.paper-toggle,
.paper-actions > a {
  display: inline-flex;
  width: fit-content;
  cursor: pointer;
  padding: 1px 6px;
  border: 1px solid var(--line);
  background: var(--soft);
  color: var(--link);
  font: inherit;
  line-height: 1.4;
}

.paper-toggle:hover,
.paper-toggle[aria-expanded="true"],
.paper-actions > a:hover {
  border-color: var(--link-hover);
  color: var(--link-hover);
  text-decoration: none;
}

.paper-panel {
  max-width: 760px;
  margin-top: 8px;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 14px;
}

.paper-panel p {
  margin: 0;
}

.publication-entry {
  width: 100%;
}

.publication-entry p {
  text-align: justify;
}

.entry-heading,
.teaching-list li {
  display: grid;
  grid-template-columns: minmax(0, 1fr) max-content;
  gap: 18px;
  align-items: baseline;
}

.entry-heading {
  margin-bottom: 8px;
}

.entry-heading span,
.teaching-list li span:last-child {
  color: var(--muted);
  font-family: Arial, Helvetica, sans-serif;
  font-size: 14px;
}

.teaching-list {
  display: grid;
  gap: 10px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.teaching-list em {
  display: block;
  margin-top: 3px;
  font-size: 0.9em;
}

.site-footer {
  display: flex;
  width: min(100% - 48px, 900px);
  justify-content: space-between;
  gap: 18px;
  margin: 0 auto;
  padding: 22px 0 34px;
  color: var(--muted);
  font-family: Arial, Helvetica, sans-serif;
  font-size: 13px;
}

@media (max-width: 720px) {
  .site-header,
  .site-footer {
    align-items: flex-start;
    flex-direction: column;
  }

  .header-actions {
    justify-content: flex-start;
  }

  .page {
    width: min(100% - 32px, 900px);
    padding-top: 30px;
  }

  .intro {
    grid-template-columns: 1fr;
  }

  .portrait {
    width: min(240px, 100%);
  }

  .entry-heading,
  .teaching-list li {
    grid-template-columns: 1fr;
    gap: 2px;
  }
}