/* Optional second accent. Loaded only by index-green.html. */
body.theme-green{
  --green:#3f5e36;
  --green-dark:#2d4828;
}
.theme-green .hero .button{background:var(--green)}
.theme-green .hero .button:hover{background:var(--green-dark)}
.theme-green .eyebrow{color:var(--green)}
.theme-green #begin-title,
.theme-green #machines-title{color:var(--green)}
.theme-green .masthead nav a:hover,
.theme-green .footer button:hover{color:var(--green)}
.theme-green a:hover h3{color:var(--green)}
.theme-green a:focus-visible,
.theme-green button:focus-visible{outline-color:var(--green)}