/* Halloween 2026, home page only. See the Halloween comments in index.html for how to remove it. */
html.halloween{--succeeded:#A83F00;}
html.halloween[data-theme="dark"]{--succeeded:#FF9A3C;}
@media (prefers-color-scheme: dark){
  html.halloween:not([data-theme="light"]){--succeeded:#FF9A3C;}
}
.halloween-line{
  align-items:center;gap:10px;
  margin:16px 0 24px;
  font-size:1.1rem;font-weight:500;font-style:italic;
  color:var(--succeeded);
}
html.halloween .halloween-line{display:flex;}
.halloween-ghost{flex-shrink:0;}