:root {
  --text: #111111;
  --muted: #555555;
  --bg: #fffdf6;
  --accent: #111111;
  --h1: #0d0d0d;
  --h2: #1c1c1c;
  --h3: #2a2a2a;
  --h4: #383838;
  --body: #454545;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  font-family: ui-monospace, "SF Mono", Consolas, monospace;
  color: var(--body);
  background: var(--bg);
  line-height: 1.5;
  font-size: 14px;
}

.wrap {
  max-width: 680px;
  margin: 0 auto;
  padding: 0 20px;
}

nav .wrap {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  justify-content: flex-start;
  gap: 16px;
  padding-top: 14px;
  padding-bottom: 10px;
}

nav .brand {
  font-weight: 700;
  color: var(--text);
  text-decoration: none;
  margin-right: 8px;
}

nav ul {
  list-style: none;
  display: flex;
  gap: 14px;
  margin: 0;
  padding: 0;
}

nav a {
  color: var(--text);
  text-decoration: none;
  white-space: nowrap;
}

nav a:not(:last-child)::after {
  content: " |";
  color: var(--muted);
  margin-left: 14px;
}

nav a:hover {
  text-decoration: underline;
}

main {
  padding: 20px 0 48px;
}

h1 {
  font-size: 1.55rem;
  font-weight: 700;
  color: var(--h1);
  margin: 0 0 6px;
}

.affiliation {
  color: var(--muted);
  margin-top: 0;
  margin-bottom: 20px;
}

h2 {
  font-size: 1rem;
  font-weight: 700;
  color: var(--h2);
  margin-top: 28px;
  margin-bottom: 8px;
}

h3 {
  font-size: 0.95rem;
  font-weight: 700;
  color: var(--h3);
  margin-top: 20px;
  margin-bottom: 6px;
}

h4 {
  font-size: 0.85rem;
  font-weight: 700;
  color: var(--h4);
  margin-top: 14px;
  margin-bottom: 4px;
}

p {
  margin: 0 0 14px;
  max-width: 68ch;
}

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

.links {
  display: flex;
  flex-direction: column;
  gap: 4px;
  margin-top: 20px;
}

.principles {
  margin: 0 0 14px;
  padding-left: 20px;
}

.principles li {
  margin-bottom: 10px;
  max-width: 62ch;
}

.roster {
  list-style: none;
  margin: 0 0 24px;
  padding: 0;
}

.roster li {
  margin-bottom: 4px;
}

.profile {
  margin: 0 0 24px;
}

.profile dt {
  color: var(--muted);
  float: left;
  width: 110px;
  clear: left;
}

.profile dd {
  margin: 0 0 6px 110px;
  overflow-wrap: break-word;
}

@media (max-width: 480px) {
  .profile dt {
    float: none;
    width: auto;
  }

  .profile dd {
    margin: 0 0 10px;
  }
}

.pubs {
  margin: 0 0 14px;
  padding-left: 20px;
}

.pubs li {
  margin-bottom: 10px;
  max-width: 62ch;
}

.entry {
  border-top: 1px solid var(--muted);
  padding-top: 14px;
  margin-top: 14px;
}

.entry:first-of-type {
  border-top: none;
  padding-top: 0;
  margin-top: 0;
}

.entry h2,
.entry h3 {
  margin-top: 0;
}

.stub {
  color: var(--muted);
}

footer {
  color: var(--muted);
}

footer .wrap {
  padding: 14px 0;
  border-top: 1px solid var(--muted);
}

footer a {
  color: var(--muted);
}