--washed-green: #daf4be;

  --light-blue: #92d4d1;

  --washed-blue: #ddfbfa;

  --navy: #224c57;

  --orange: #ec6343;

  --orange-dim: #e05340;

}

/* Some Tachyons-like classes to apply those standard colors. */

.bg-light-blue { background: var(--light-blue); }

.bg-orange { background: var(--orange); }

.orange { color: var(--orange); }

/* Expanding sections. */

details summary {

  font-size: 1rem;

  font-weight: bold;

  padding: 0.5rem 0;

}