[data-theme=light][data-theme] #progSearch[data-astro-cid-uyovb7ue]{background:rgb(var(--ink-on-light-rgb) / .03);border-color:rgb(var(--ink-on-light-rgb) / .12);color:var(--ink-on-light)}.prog-item[data-astro-cid-uyovb7ue].is-hidden{display:none}.prog-item[data-astro-cid-uyovb7ue],.prog-item[data-astro-cid-uyovb7ue]>a[data-astro-cid-uyovb7ue]{height:100%}