:root {
  font-family: system-ui, sans-serif;
  color: #182839;
  background: #f3f6f8;
}
body {
  margin: 0;
}
main {
  max-width: 64rem;
  margin: 2rem auto;
  padding: 0 1.25rem 3rem;
}
section {
  background: white;
  padding: 1.25rem;
  margin: 1rem 0;
  border: 1px solid #c8d3dc;
  border-radius: 0.5rem;
}
h1,
h2 {
  line-height: 1.25;
}
p {
  line-height: 1.6;
}
button {
  font: inherit;
  cursor: pointer;
  padding: 0.65rem 0.9rem;
  margin: 0.3rem;
  background: #edf3f8;
  color: #182839;
  border: 1px solid #536c82;
  border-radius: 0.25rem;
}
button:disabled {
  opacity: 0.6;
  cursor: default;
}
:focus-visible {
  outline: 3px solid #066cbe;
  outline-offset: 3px;
}
label {
  display: block;
  padding: 0.4rem;
}
input {
  width: 1.1rem;
  height: 1.1rem;
}
pre {
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  background: #edf2f6;
  padding: 0.8rem;
  font-size: 0.85rem;
}
#trace {
  max-height: 32rem;
  overflow: auto;
}