button {
  background-color: light-dark(var(--button1-color), var(--button2-color));
  border: none;
  color: white;
  padding: 12px 32px;
  text-align: center;
  text-decoration: none;
  font-size: 16px;
  margin-top: 5px;
  display: block;
  border: 1px black solid;
  border-radius: var(--radius);
}
div > span {
  display: block;
  font-size: 20px;
  margin-top: 15px;
  height: 34px;
  border-bottom: 1px black solid;
  width: 280px;
}
.atv-logo {
  width: 80px;
  margin-top: 0.5rem;
}
.banner {
  display: flex;
  background-color: white;
  gap: 1rem;
  align-items: center;
  padding-right: 2rem;

  div {
    background-color: white;
    color: var(--button1-color);
    margin: 0 1rem;
    font-size: 1.6rem;
  }
}
.filler {
  flex-grow: 1;
  background-color: white;
}
h1 {
  padding: 1rem;
}
h2 {
  margin: 0 0 0.5rem 0;
}
.contents {
  display: grid;
  grid-template-columns: 1fr 1fr;
  grid-template-rows: auto auto auto;
  margin: 1rem 2rem;
  gap: 1rem 2rem;
}

a:any-link:hover {
  color: var(--section3-box-dark);
}
.blurb {
  padding: 1rem;
  border-radius: var(--radius);
  color: black;
}
.subhead {
  color: black;
  padding: 1rem;
  grid-column: span 2;
  text-align: center;
  border-radius: var(--radius);
  background-color: light-dark(var(--section1-box-light), var(--section1-box-dark));
}
.instructions {
  margin: 0 3rem;

  a:any-link {
    color: light-dark(var(--primary-color-light), var(--primary-color-dark));
  }

  a:hover {
    color: light-dark(black, white);
  }

  div div input {
    height: 2rem;
  }
}
.footer {
  margin: 3rem;

  a:any-link {
    color: light-dark(var(--primary-color-light), var(--primary-color-dark));
  }

  a:hover {
    color: light-dark(black, white);
  }
}
input {
  height: 1.5rem;
  font-size: 1rem;
}
div.examples {
  padding: 2rem;

  details {
    font-size: 1.2rem;

    div {
      padding: 0.5rem;
    }
  }
  summary {
    padding: 0.5rem;
  }
}
div.example {
  grid-column-start: 1;
  grid-column-end: 3;
  grid-row: 3;
  border: none;
  div {
    border: none;
  }
}
.back-link {
  text-align: right;
}
pre {
  background-color: light-dark(var(--primary-bg-color-light), var(--primary-bg-color-dark));
  color: light-dark(black, white);
  padding: 1rem;
  font-size: 1rem;
  border-radius: var(--radius);
}