body {
  font-family: system-ui, sans-serif;
  max-width: 720px;
  margin: 2rem auto;
  padding: 0 1rem;
  line-height: 1.6;
}
h1 {
  font-size: 1.5rem;
}
h2 {
  font-size: 1.15rem;
  margin-top: 2.5rem;
  border-top: 1px solid #ddd;
  padding-top: 1.5rem;
}
p.desc {
  color: #555;
}
button {
  padding: 0.6rem 1.2rem;
  font-size: 1rem;
  cursor: pointer;
}
dl.profile {
  display: grid;
  grid-template-columns: auto 1fr;
  column-gap: 1rem;
  row-gap: 0.4rem;
  margin: 0;
}
dl.profile dt {
  font-weight: bold;
  color: #333;
}
dl.profile dd {
  margin: 0;
  font-family: monospace;
}
ul.links {
  padding-left: 1.2rem;
}
.err {
  color: #c00;
}