/* Proof verification library: an archive of questions, procedures and evidence. */
@font-face{font-family:Space;src:url('/assets/space-grotesk-var.woff2') format('woff2');font-weight:300 700;font-display:swap}
@font-face{font-family:Plex;src:url('/assets/ibm-plex-mono-400.woff2') format('woff2');font-weight:400;font-display:swap}
@font-face{font-family:Bricolage;src:url('/assets/bricolage-grotesque-var.woff2') format('woff2');font-weight:200 800;font-display:swap}
:root{--paper:#f3f0e9;--ink:#24302a;--sage:#7fa34e;--sage-dark:#4a6534;--muted:#59645d;--line:#c9cec2;--white:#fffefa;--wash:#e8ecdf;--sans:Space,'Space Grotesk',Arial,sans-serif;--mono:Plex,'IBM Plex Mono',ui-monospace,monospace;--serif:'Iowan Old Style',Baskerville,Palatino,'Palatino Linotype',Georgia,serif;color:var(--ink);background:var(--paper);font-family:var(--sans);font-synthesis:none;scroll-padding-top:104px;color-scheme:light}
*,*::before,*::after{box-sizing:border-box}
body{margin:0;font-size:16px;line-height:1.6;-webkit-font-smoothing:antialiased;overflow-wrap:break-word}
h1,h2,h3,p,ul,ol{margin:0}
h1,h2,h3{font-family:var(--serif);font-weight:400;letter-spacing:-.035em;text-wrap:balance}
a{color:inherit;text-underline-offset:.22em;text-decoration-thickness:1px}
a:hover{color:var(--sage-dark)}
a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--sage-dark);outline-offset:4px}
button,input,select{font:inherit}
button,select,input[type='checkbox']{cursor:pointer}
button{color:inherit}
[hidden]{display:none!important}
::selection{background:#cddbb8;color:var(--ink)}
.wrap{width:min(1280px,calc(100% - 96px));margin-inline:auto}
.skip{position:fixed;z-index:100;top:12px;left:16px;padding:12px 20px;background:var(--ink);color:var(--paper);transform:translateY(-180%)}
.skip:focus{transform:translateY(0)}
.site-header{position:sticky;top:0;z-index:30;display:flex;align-items:center;gap:28px;min-height:80px;padding:15px max(48px,calc((100vw - 1280px)/2));border-bottom:1px solid var(--line);background:var(--paper)}
.wordmark{font:800 32px/1 Bricolage,Arial,sans-serif;letter-spacing:-.065em;text-decoration:none;white-space:nowrap}
.wordmark span{color:var(--sage)}
.header-context{font:10px/1.5 var(--mono);letter-spacing:.025em;color:var(--muted)}
.header-nav{display:flex;align-items:center;gap:28px;margin-left:auto;font:11px/1.5 var(--mono)}
.header-nav a{display:inline-flex;align-items:center;gap:9px;min-height:44px;text-decoration:none;white-space:nowrap}
.header-nav a:hover{text-decoration:underline}
.header-nav span{font-size:18px}
.breadcrumb{display:flex;flex-wrap:wrap;gap:10px;font-size:11px;color:var(--muted);margin-bottom:34px;line-height:1.8}
.breadcrumb a{text-decoration:none}
.breadcrumb a:hover{text-decoration:underline}
.eyebrow{font:11px/1.6 var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--muted)}
.square{display:inline-block;vertical-align:middle;width:7px;height:7px;margin-right:9px;background:var(--sage)}
.library-hero{padding:30px 0 40px}
.library-hero h1{font-size:clamp(60px,6.3vw,88px);line-height:1.08;margin:16px 0 19px;max-width:17ch}
.library-inventory-note{max-width:82ch;font-size:12px;line-height:1.8;color:var(--muted);margin-top:21px}.library-field-hint{font-size:11px;line-height:1.65;color:var(--muted);margin-top:9px}.library-browse-action,[data-browse-domain]{display:none}.library-page[data-library-enhanced="true"] [data-browse-domain]{display:inline-flex;align-items:center;gap:12px;min-height:44px;background:transparent;border:0;padding:8px 0;margin-top:9px;font-size:12px;line-height:1.5;text-align:left;text-decoration:underline;text-underline-offset:4px}.library-page[data-library-enhanced="true"] [data-browse-domain]:hover{color:var(--sage-dark)}.library-intro{max-width:760px;font-size:19px;line-height:1.65;text-wrap:pretty}
.library-stats{display:flex;gap:0;flex-wrap:wrap;margin-top:30px}
.library-stat{display:flex;align-items:baseline;gap:10px;padding:0 30px;border-left:1px solid var(--line);font-size:13px;color:var(--muted)}
.library-stat:first-child{padding-left:0;border-left:0}
.library-stat strong{font:400 22px/1.4 var(--mono);letter-spacing:-.05em;color:var(--ink)}
.library-guides{display:grid;grid-template-columns:260px minmax(0,1fr);gap:48px;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding-block:32px 36px}
.section-heading h2{font-size:32px;line-height:1.14;margin:11px 0 12px;max-width:13ch}
.section-heading>p:last-child{font-size:13px;line-height:1.7;color:var(--muted);max-width:28ch}
.library-guide-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:34px}
.library-guide-content{min-width:0}
.library-view-all{display:inline-flex;align-items:center;gap:14px;min-height:44px;margin-top:22px;font-size:13px}
.library-guide{padding:0 0 0 23px;border-left:1px solid var(--line);min-width:0}
.library-guide-number{font:10px/1.5 var(--mono);letter-spacing:.065em;color:var(--muted)}
.library-guide h3{font-size:28px;line-height:1.18;margin:13px 0 12px;max-width:21ch}
.library-guide h3 a{text-decoration:none}
.library-guide h3 a:hover{text-decoration:underline}
.library-guide h3 a span{display:inline-block;white-space:nowrap;font-family:var(--sans);font-size:21px}
.library-guide .summary,.library-guide>div>p:not(.library-guide-meta){font-size:13px;line-height:1.75;max-width:43ch}
.library-guide .meta,.library-guide .library-guide-meta{font:10px/1.8 var(--mono);color:var(--muted);margin-top:15px}
.library-catalog{padding-block:48px 60px}
.catalog-heading{display:flex;align-items:flex-end;justify-content:space-between;gap:32px;margin-bottom:34px}
.catalog-heading h2{font-size:43px;line-height:1.15;margin-top:11px}
.catalog-scope{font-size:12px;line-height:1.85;color:var(--muted);padding-bottom:2px}
.library-layout{display:grid;grid-template-columns:260px minmax(0,1fr);gap:48px;align-items:start}
.library-sidebar{position:sticky;top:108px;min-width:0}
.library-controls{border-top:1px solid var(--ink);padding-top:22px}
.library-field{margin-bottom:20px}
.library-field>label{display:block;font:11px/1.6 var(--mono);margin-bottom:8px}
.library-field input,.library-field select{display:block;width:100%;min-height:46px;border:1px solid #aeb7a6;background:var(--white);color:var(--ink);border-radius:2px;font-size:13px;line-height:1.4;padding:12px 11px}
.library-field select{padding-right:26px}
.library-field input::placeholder{color:var(--muted);opacity:1}
.library-search{position:relative}
.library-search>svg{position:absolute;top:13px;left:12px;pointer-events:none;color:var(--muted)}
.library-search input{padding-left:40px;padding-right:9px}
.library-checkbox{display:flex;align-items:center;gap:11px;width:fit-content;min-height:44px;font-size:13px;cursor:pointer}
.library-checkbox input{width:19px;height:19px;accent-color:var(--ink);margin:0;flex-shrink:0}
.library-reset{display:inline-flex;align-items:center;justify-content:space-between;gap:14px;min-height:44px;margin-top:10px;padding:8px 0;border:0;background:transparent;font-size:12px;text-decoration:underline;text-underline-offset:4px;cursor:pointer}
.library-reset:hover{color:var(--sage-dark)}
.library-reset span{font-size:17px;text-decoration:none}
.library-topic-nav{list-style:none;padding:15px 0 0;margin:14px 0 0;border-top:1px solid var(--ink)}
.library-topic-nav li+li{border-top:1px solid var(--line)}
.library-topic-nav a{display:flex;align-items:center;justify-content:space-between;gap:10px;padding:12px 0;font-size:13px;text-decoration:none}
.library-topic-nav a:hover{text-decoration:underline}
.library-topic-nav a span{font:10px/1.5 var(--mono);color:var(--muted)}
.library-sidebar-note{font-size:12px;line-height:1.85;color:var(--muted);padding-top:22px;margin-top:21px;border-top:1px solid var(--line)}
.library-results{min-width:0}
.library-results-heading{display:flex;align-items:center;justify-content:space-between;gap:20px;border-top:1px solid var(--ink);padding-block:20px 21px;border-bottom:1px solid var(--line)}
.library-results-heading p{font:12px/1.6 var(--mono)}
.library-results-heading>span{font:10px/1.6 var(--mono);color:var(--muted)}
.library-group{padding-top:27px;scroll-margin-top:104px}
.library-group+.library-group{margin-top:21px;border-top:1px solid var(--ink)}
.library-group-heading{display:grid;grid-template-columns:40px minmax(0,1fr) auto;align-items:baseline;gap:16px;margin-bottom:8px}
.library-group-heading>span:first-child,.library-group-index,.library-group-number{font:11px/1.6 var(--mono);color:var(--muted)}
.library-group-heading h2{font-size:32px;line-height:1.16}
.library-group-heading p{font-size:12px;line-height:1.75;color:var(--muted);margin-top:8px;max-width:58ch}
.library-group-count{font:10px/1.6 var(--mono);color:var(--muted);white-space:nowrap}
.library-group ol,.library-group>ul,.library-group ul.library-entries{list-style:none;padding:0}
.library-entry{display:grid;grid-template-columns:40px minmax(0,1fr) 94px;gap:16px;padding:24px 0 25px;border-bottom:1px solid var(--line);scroll-margin-top:104px}
.library-entry-number{padding-top:4px;font:10px/1.6 var(--mono);color:var(--muted)}
.library-entry-body{min-width:0}
.library-entry-body h3{font-size:25px;line-height:1.25;max-width:32ch}
.library-entry-body h3 a{text-decoration:none}
.library-entry-body h3 a:hover{text-decoration:underline}
.library-entry-body h3 a span{font-family:var(--sans);font-size:18px;white-space:nowrap}
.library-entry-summary{font-size:14px;line-height:1.75;margin-top:10px;max-width:67ch}
.library-entry-evidence{font-size:12px;line-height:1.8;margin-top:12px;color:var(--muted);max-width:72ch}
.library-entry-evidence>span{display:block;font:9px/1.7 var(--mono);letter-spacing:.045em;text-transform:uppercase;color:var(--ink);margin-bottom:3px}
.library-entry-tags{display:flex;flex-wrap:wrap;gap:4px 13px;list-style:none;padding:0!important;margin-top:15px!important;font:9px/1.8 var(--mono);color:var(--muted)}
.library-entry-tags li+li::before{content:'·';margin-right:13px;color:#7f897a}
.library-entry-type{align-self:start;justify-self:end;margin-top:3px;font:9px/1.6 var(--mono);padding:3px 6px;border:1px solid #b9c3ae;border-radius:2px;white-space:nowrap}
.library-empty{padding:42px 0 46px;border-bottom:1px solid var(--line)}
.library-empty h3{font-size:30px;line-height:1.2}
.library-empty p{margin-top:13px;font-size:14px;color:var(--muted)}
.library-boundary{font-size:12px;line-height:1.85;color:var(--muted);max-width:76ch;padding-top:27px}
.library-next{display:flex;align-items:center;justify-content:space-between;gap:36px;border-top:1px solid var(--ink);padding-block:35px 45px}
.library-next h2{font-size:36px;line-height:1.2;margin:10px 0}
.library-next p:last-child{font-size:14px;max-width:55ch}
.library-next>a{display:inline-flex;align-items:center;gap:22px;min-height:48px;font-size:14px;text-decoration:underline;flex-shrink:0}
.library-next>a span{font-size:25px;text-decoration:none}
/* The exact site footer, with styles scoped to this page. */
.library-page .site-footer.foot{display:block;height:auto;margin-top:0;padding:2rem 0 2.6rem;border-top:1px solid #d3d2c8;background:var(--paper);color:var(--ink)}
.library-page .site-footer.foot .wrap{width:min(1180px,calc(100% - 48px));margin:0 auto}
.library-page .foot-line{margin:0;font-family:var(--mono);font-size:.74rem;line-height:1.9;color:var(--muted)}
.library-page .foot-line a{color:var(--ink);text-decoration:none;border-bottom:1px solid #b7b6ac}
.library-page .foot-line a:hover{color:var(--sage-dark);border-bottom-color:var(--sage-dark)}
.library-page .foot-line .sep{color:#b7b6ac;padding:0 .35em}
.library-page .foot-seed{color:var(--muted)}
.library-page .foot-cols{display:grid;grid-template-columns:repeat(7,minmax(0,1fr));gap:1.5rem 1.2rem;margin:1.6rem 0 0;padding-top:1.4rem;border-top:1px solid #d3d2c8}
.library-page .foot-col{min-width:0}
.library-page .foot-col-h{margin:0 0 .55rem;font-family:var(--mono);font-size:max(12px,.72rem);font-weight:500;letter-spacing:.1em;text-transform:uppercase;color:var(--muted)}
.library-page .foot-col a{display:block;font-family:var(--mono);font-size:max(13px,.8rem);line-height:1.75;color:var(--ink);text-decoration:none;padding-block:1px}
.library-page .foot-col a:hover{color:var(--sage-dark);text-decoration:underline;text-underline-offset:.22em}
@media(max-width:1100px){.wrap{width:calc(100% - 64px)}.site-header{padding-inline:32px}.library-guides,.library-layout{grid-template-columns:220px minmax(0,1fr);gap:32px}.library-guide-grid{gap:25px}.library-guide{padding-left:20px}.library-guide h3{font-size:25px}.library-group-heading h2{font-size:29px}.library-entry{grid-template-columns:29px minmax(0,1fr) 94px;gap:13px}.library-group-heading{grid-template-columns:29px minmax(0,1fr) auto;gap:13px}.library-page .foot-cols{grid-template-columns:repeat(4,minmax(0,1fr))}}
@media(max-width:850px){.library-guides{grid-template-columns:1fr;gap:26px}.section-heading{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:0 28px}.section-heading>.eyebrow{grid-column:1/-1}.section-heading h2{max-width:100%;margin-bottom:0}.section-heading>p:last-child{align-self:center;max-width:34ch;padding-top:8px}.library-guide{padding:0;border-left:0}.library-guide:nth-child(even){border-left:1px solid var(--line);padding-left:25px}.library-layout{grid-template-columns:190px minmax(0,1fr);gap:27px}.library-group-heading{grid-template-columns:1fr auto;gap:8px}.library-group-heading>span:first-child,.library-group-index,.library-group-number{display:none}.library-entry{grid-template-columns:25px minmax(0,1fr);gap:10px}.library-entry-type{grid-column:2;justify-self:start;margin-top:0}.library-entry-body h3{font-size:25px}.catalog-heading{align-items:flex-start}.catalog-scope{max-width:27ch}.library-stat{padding-inline:21px}}
@media(max-width:680px){:root{scroll-padding-top:92px}.wrap{width:calc(100% - 40px)}.site-header{min-height:72px;padding:13px 20px;gap:18px}.wordmark{font-size:29px}.header-context{display:none}.header-nav{gap:22px;font-size:10px}.header-nav a:last-child{display:none}.library-hero{padding-top:24px;padding-bottom:30px}.breadcrumb{font-size:10px;margin-bottom:27px;gap:8px}.library-hero h1{font-size:58px;line-height:1.03;margin-top:15px;margin-bottom:21px;max-width:12ch}.library-intro{font-size:16px;line-height:1.7;max-width:40ch}.eyebrow{font-size:10px}.library-stats{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));margin-top:25px;gap:0}.library-stat{display:block;padding-inline:14px;font-size:10px;line-height:1.6}.library-stat strong{display:block;font-size:22px;margin-bottom:4px}.library-stat span{display:block}.library-guides{padding-block:25px 29px;gap:23px}.section-heading{display:block}.section-heading h2{font-size:31px;margin-top:9px}.section-heading>p:last-child{padding-top:12px;font-size:12px;max-width:45ch}.library-guide-grid{grid-template-columns:1fr;gap:22px}.library-guide+.library-guide{padding:22px 0 0;border-left:0;border-top:1px solid var(--line)}.library-guide-number{font-size:9px}.library-guide h3{font-size:28px;line-height:1.17;margin-block:9px;max-width:25ch}.library-guide .summary,.library-guide>div>p:not(.library-guide-meta){font-size:13px;line-height:1.7;max-width:45ch}.library-guide .meta,.library-guide .library-guide-meta{font-size:9px;margin-top:12px}.library-catalog{padding-block:34px 40px}.catalog-heading{display:block;margin-bottom:23px}.catalog-heading h2{font-size:38px;margin-top:10px}.catalog-scope{max-width:100%;margin-top:13px;font-size:12px}.catalog-scope br{display:none}.library-layout{grid-template-columns:1fr;gap:26px}.library-sidebar{position:static}.library-controls{display:grid;grid-template-columns:1fr 1fr;gap:16px 13px;padding-top:19px}.library-field{margin:0;min-width:0}.library-field:first-child{grid-column:1/-1}.library-field>label{font-size:10px;margin-bottom:7px}.library-field input,.library-field select{font-size:13px;min-height:46px;padding-block:12px}.library-checkbox{font-size:12px}.library-reset{justify-self:end;margin-top:0;font-size:11px;gap:10px}.library-sidebar-note{font-size:11px;line-height:1.8;margin-top:17px;padding-top:16px;max-width:44ch}.library-sidebar-note br{display:none}.library-results-heading{padding-block:17px}.library-results-heading p{font-size:11px}.library-results-heading>span{font-size:9px}.library-group{padding-top:24px;scroll-margin-top:92px}.library-group-heading h2{font-size:30px}.library-group-heading p{font-size:12px;line-height:1.7;margin-top:9px}.library-group-count{font-size:9px}.library-entry{grid-template-columns:25px minmax(0,1fr);padding-block:23px;gap:10px}.library-entry-number{font-size:9px}.library-entry-body h3{font-size:25px;line-height:1.25;max-width:26ch}.library-entry-summary{font-size:14px;line-height:1.75;margin-top:11px}.library-entry-evidence{font-size:12px;line-height:1.8;margin-top:13px}.library-entry-evidence>span{font-size:9px}.library-entry-tags{font-size:9px;margin-top:13px!important;gap:4px 10px}.library-entry-tags li+li::before{margin-right:10px}.library-entry-type{font-size:9px}.library-empty{padding-block:31px}.library-empty h3{font-size:29px}.library-empty .library-reset{margin-top:13px}.library-boundary{font-size:11px;padding-top:23px}.library-next{display:block;padding-block:29px 32px}.library-next h2{font-size:31px;margin-block:10px 13px}.library-next p:last-child{font-size:13px}.library-next>a{font-size:13px;margin-top:13px;gap:20px}.library-topic-nav{padding-top:8px;margin-top:12px}.library-topic-nav a{min-height:46px}.library-page .foot-cols{grid-template-columns:repeat(2,minmax(0,1fr))}}
@media(max-width:500px){.library-stats{grid-template-columns:repeat(2,minmax(0,1fr));row-gap:18px}.library-stat:nth-child(odd){padding-left:0;border-left:0}.library-inventory-note{font-size:11px;line-height:1.8;margin-top:20px}.library-field-hint{font-size:10px;line-height:1.7}}
@media(max-width:360px){.wrap{width:calc(100% - 32px)}.site-header{padding-inline:16px}.library-hero h1{font-size:51px}.library-stat{padding-inline:12px;gap:6px;font-size:10px}.library-stat strong{font-size:18px}.library-group-heading h2{font-size:28px}.library-entry-body h3{font-size:24px}}
@media print{.site-header,.skip,.library-sidebar,.library-next,.site-footer{display:none!important}.wrap{width:100%;margin:0}.library-hero{padding-top:0}.library-hero h1{font-size:40pt}.library-intro{font-size:11pt}.library-guides,.library-layout{display:block}.library-guide-grid{margin-top:20pt}.library-guide h3{font-size:18pt}.library-catalog{padding-block:20pt}.library-entry,.library-guide{break-inside:avoid}.library-entry-body h3{font-size:16pt}.library-entry-summary{font-size:10pt}.library-entry-evidence{font-size:9pt}a{color:var(--ink)}.library-group{scroll-margin-top:0}}