.open-badge[data-astro-cid-ncjhiach] .dot[data-astro-cid-ncjhiach]{background:#9aa3aa}.open-badge[data-astro-cid-ncjhiach].is-open .dot[data-astro-cid-ncjhiach]{background:var(--color-leaf-500);box-shadow:0 0 0 3px color-mix(in srgb,var(--color-leaf-500) 25%,transparent)}