:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark;font-family:system-ui,sans-serif}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial}}body{margin:0;padding:0}.topnav{border-bottom:1px solid #8884;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;padding:.5rem 1rem;display:flex}.topnav .links a{margin-right:1rem}main{max-width:60rem;margin:0 auto;padding:1rem}.card{max-width:22rem}form label{margin:.5rem 0;display:block}form input,form select{box-sizing:border-box;width:100%;padding:.4rem;display:block}button{cursor:pointer;padding:.4rem .8rem}button.link{color:#06c;background:0 0;border:none;padding:0;text-decoration:underline}table{border-collapse:collapse;width:100%}th,td{text-align:left;border-bottom:1px solid #8883;padding:.3rem .5rem}.headline{font-size:1.25rem}[role=alert]{color:#b00020}.triage li,.products li{margin:.75rem 0}.actions{flex-wrap:wrap;align-items:end;gap:.5rem;display:flex}.detail{border:1px solid #8884;margin-top:1rem;padding:1rem}.proof code{word-break:break-all;font-size:.85em}.proof-proven{color:#b00020;font-weight:600}.bundle-content{background:#8881;border-radius:4px;max-height:20rem;padding:.5rem;font-size:.85em;overflow:auto}.filters{flex-wrap:wrap;gap:1rem;margin:.5rem 0 1rem;display:flex}.actions textarea{box-sizing:border-box;min-width:16rem;min-height:2.5rem;padding:.4rem}.badge{color:#fff;border-radius:999px;padding:.1rem .5rem;font-size:.75rem;font-weight:600;display:inline-block}.badge-proven{background:#b00020}.badge-reachable{background:#b26a00}.badge-undetermined{background:#555}.badge-safe{background:#1a7f37}.topnav .links a.active{font-weight:700;text-decoration:underline}.table-wrap{overflow-x:auto}.skip{position:absolute;left:-999px}.skip:focus{padding:.4rem;display:inline-block;position:static}.integrity-ok{color:#1a7f37;font-weight:600}.integrity-bad{color:#b00020;font-weight:600}.pw-field{gap:.5rem;display:flex}.pw-field input{flex:1}