:root {
  --paper:#fff;
  --canvas:#f4f7fc;
  --blue:#2259d6;
  --ink:#122549;
  --muted:#52657d;
  --line:#dbe4f0;
  --green:#24795c;
  --font:"Avenir Next",Avenir,"Helvetica Neue",Arial,sans-serif;
  color-scheme:light;
  font-family:var(--font);
  color:var(--ink);
  background:var(--canvas);
  font-synthesis:none
}
* {
  box-sizing:border-box
}
html {
  scroll-behavior:smooth
}
body {
  margin:0
}
a {
  color:var(--blue);
  text-underline-offset:3px
}
button,input {
  font:inherit
}
button,a,input {
  touch-action:manipulation
}
button {
  cursor:pointer
}
button:focus-visible,a:focus-visible,input:focus-visible,summary:focus-visible {
  outline:3px solid #e58b24;
  outline-offset:4px
}
button {
  color:inherit
}
::selection {
  background:#d4e3ff
}
svg {
  flex:none
}
p {
  line-height:1.65
}
h1,h2,h3,p {
  margin-top:0
}
h1,h2,h3 {
  letter-spacing:-.035em
}
h1 {
  font-size:clamp(2.25rem,4.7vw,4.25rem);
  line-height:1.08;
  font-weight:600;
  max-width:760px;
  margin-bottom:20px
}
h2 {
  font-size:clamp(1.8rem,2.5vw,2.5rem);
  line-height:1.16;
  margin-bottom:16px
}
h3 {
  font-size:1.1rem;
  line-height:1.35
}
code,pre {
  font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace
}
button svg,a svg {
  width:18px;
  height:18px
}
a.button,button.button {
  display:inline-flex;
  align-items:center;
  justify-content:center;
  gap:9px;
  padding:13px 18px;
  border-radius:7px;
  background:var(--blue);
  color:#fff;
  text-decoration:none;
  border:1px solid var(--blue);
  font-weight:600;
  font-size:.91rem;
  line-height:1.2
}
a.button:hover,button.button:hover {
  background:#1949b5
}
.button.secondary {
  background:#fff;
  color:var(--ink);
  border-color:var(--line)
}
.button.secondary:hover {
  background:var(--canvas)
}
.skip-link {
  position:absolute;
  top:8px;
  left:8px;
  z-index:5;
  background:white;
  padding:12px;
  transform:translateY(-160%)
}
.skip-link:focus {
  transform:none
}
.shell {
  max-width:1440px;
  margin:0 auto;
  padding:0 48px
}
.site-header {
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:20px;
  padding:27px 0;
  border-bottom:1px solid var(--line)
}
.brand {
  display:flex;
  align-items:center;
  gap:16px;
  color:var(--ink);
  text-decoration:none;
  white-space:nowrap
}
.brand strong {
  font-size:1.35rem;
  letter-spacing:.055em;
  font-weight:800
}
.brand span {
  border-left:1px solid #bfcce0;
  padding-left:16px;
  color:var(--muted);
  font-size:.9rem
}
.header-links {
  display:flex;
  align-items:center;
  gap:24px
}
.header-links>a:not(.button) {
  font-size:.9rem;
  color:var(--muted);
  font-weight:600
}
.intro {
  padding:57px 0 41px;
  display:flex;
  align-items:flex-end;
  justify-content:space-between;
  gap:50px
}
.intro p {
  max-width:680px;
  color:var(--muted);
  font-size:1.09rem;
  margin:0
}
.intro p.worksheet-prompt {
  margin-top:16px;
  font-size:.94rem
}
.intro-note {
  width:225px;
  flex:none;
  padding:0 0 4px 22px;
  border-left:2px solid var(--blue);
  color:var(--muted);
  font-size:.84rem;
  line-height:1.6
}
.intro-note strong {
  display:block;
  color:var(--ink);
  font-size:.94rem;
  margin-bottom:5px
}
.library {
  display:grid;
  grid-template-columns:310px minmax(0,1fr);
  gap:28px;
  align-items:start;
  padding-bottom:60px
}
.browse {
  position:sticky;
  top:18px;
  min-width:0
}
.search-label {
  display:block;
  font-size:.88rem;
  font-weight:700;
  margin-bottom:9px
}
.search-wrap {
  position:relative
}
.search-wrap svg {
  position:absolute;
  left:14px;
  top:14px;
  width:20px;
  height:20px;
  color:var(--muted)
}
#search {
  width:100%;
  border:1px solid #bfcce0;
  border-radius:7px;
  padding:14px 12px 14px 43px;
  background:#fff;
  color:var(--ink);
  font-size:.92rem
}
#search::-webkit-search-cancel-button {
  cursor:pointer
}
.filters {
  display:flex;
  flex-wrap:wrap;
  gap:6px;
  margin:14px 0 18px
}
.filter {
  border:1px solid transparent;
  border-radius:5px;
  background:transparent;
  padding:7px 10px;
  font-size:.8rem;
  color:var(--muted);
  font-weight:600
}
.filter:hover {
  background:#e9eef9
}
.filter[aria-pressed=true] {
  background:#e1eaff;
  color:#1747b0
}
.index-heading {
  display:flex;
  justify-content:space-between;
  align-items:center;
  padding:0 3px;
  margin:0 0 8px;
  font-size:.8rem;
  color:var(--muted)
}
.index-heading p {
  margin:0
}
.reset {
  border:0;
  background:transparent;
  padding:3px;
  color:var(--blue);
  text-decoration:underline;
  font-size:.8rem
}
.template-index {
  list-style:none;
  padding:0;
  margin:0
}
.template-index li {
  margin:0
}
.template-link {
  display:flex;
  gap:12px;
  align-items:center;
  text-decoration:none;
  padding:13px 12px;
  border-left:3px solid transparent;
  border-radius:0 6px 6px 0;
  color:var(--ink);
  margin:1px 0
}
.template-link:hover {
  background:#eaf0fb
}
.template-link[aria-current=true] {
  background:#e5edff;
  border-left-color:var(--blue)
}
.template-mark {
  width:32px;
  height:32px;
  background:#fff;
  border:1px solid var(--line);
  border-radius:6px;
  display:grid;
  place-items:center;
  color:var(--muted)
}
.template-mark svg {
  width:17px;
  height:17px
}
.template-link[aria-current=true] .template-mark {
  color:var(--blue);
  border-color:#b7cbf6
}
.template-name {
  font-size:.91rem;
  font-weight:650;
  line-height:1.35
}
.template-kind {
  display:block;
  font-size:.73rem;
  font-weight:400;
  color:var(--muted);
  margin-top:3px
}
.template-arrow {
  margin-left:auto;
  color:#52657d;
  font-size:1.1rem
}
.index-empty {
  padding:20px 3px;
  font-size:.9rem;
  color:var(--muted)
}
.workspace {
  min-width:0
}
.template-detail {
  background:white;
  border:1px solid var(--line);
  border-radius:12px;
  overflow:hidden;
  margin-bottom:25px;
  scroll-margin-top:20px
}
.detail-header {
  padding:35px 36px 28px
}
.detail-category {
  font-size:.83rem;
  color:var(--muted);
  font-weight:600;
  margin-bottom:18px;
  display:flex;
  align-items:center;
  gap:9px
}
.detail-category svg {
  width:17px;
  height:17px
}
.detail-lead {
  font-size:1.04rem;
  max-width:660px;
  color:var(--muted);
  margin-bottom:25px
}
.actions {
  display:flex;
  flex-wrap:wrap;
  gap:10px;
  align-items:center
}
.text-link {
  font-size:.88rem;
  font-weight:600;
  padding:8px 3px;
  margin-left:5px
}
.recipe {
  margin:0 36px 27px;
  display:grid;
  grid-template-columns:1fr 1fr 1fr;
  gap:0;
  border:1px solid var(--line);
  border-radius:7px;
  overflow:hidden
}
.recipe div {
  position:relative;
  padding:18px 20px;
  background:#fafcff
}
.recipe div+div {
  border-left:1px solid var(--line)
}
.recipe dt {
  font-size:.76rem;
  color:var(--muted);
  font-weight:600;
  margin-bottom:8px
}
.recipe dd {
  font-size:.86rem;
  line-height:1.6;
  margin:0
}
.requirements {
  margin:0 36px 28px;
  display:flex;
  align-items:center;
  gap:12px;
  flex-wrap:wrap
}
.requirements>span {
  font-size:.79rem;
  font-weight:600;
  color:var(--muted)
}
.requirements ul {
  display:flex;
  gap:6px;
  flex-wrap:wrap;
  list-style:none;
  margin:0;
  padding:0
}
.requirements li {
  font-size:.78rem;
  background:var(--canvas);
  border-radius:4px;
  padding:5px 8px
}
.proof {
  background:#edf3ff;
  border-top:1px solid #d4e1ff;
  border-bottom:1px solid #d4e1ff;
  padding:27px 36px
}
.proof-top {
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:20px;
  margin-bottom:12px
}
.proof-top h3 {
  margin:0;
  font-size:1.15rem
}
.proof-tag {
  font-size:.71rem;
  font-weight:650;
  color:#2855a2;
  background:#dce8ff;
  padding:5px 8px;
  border-radius:4px;
  white-space:nowrap
}
.proof-summary {
  font-size:.91rem;
  max-width:650px;
  margin-bottom:17px;
  line-height:1.6
}
.proof-results {
  background:#fff;
  border:1px solid #c7d8f7;
  border-radius:7px;
  overflow:hidden
}
.proof-result-line {
  padding:14px 17px;
  display:flex;
  gap:12px;
  align-items:center;
  font-size:.88rem;
  font-weight:600;
  color:var(--ink)
}
.proof-result-line svg {
  width:19px;
  height:19px;
  color:var(--green)
}
.proof-results details {
  border-top:1px solid #e0e8f5
}
.proof-results summary {
  cursor:pointer;
  padding:12px 17px;
  font-size:.8rem;
  font-weight:600;
  color:var(--blue)
}
.proof-results pre {
  max-height:290px;
  overflow:auto;
  font-size:.72rem;
  line-height:1.65;
  margin:0;
  padding:3px 17px 18px;
  color:#263a57;
  white-space:pre;
  tab-size:2
}
.reproduce {
  display:flex;
  gap:10px;
  align-items:center;
  margin-top:15px
}
.reproduce code {
  min-width:0;
  flex:1;
  overflow-wrap:anywhere;
  font-size:.74rem;
  background:#dce7fa;
  padding:12px 14px;
  border-radius:5px;
  line-height:1.5
}
.copy-command {
  border:1px solid #c0d3f4;
  background:#fff;
  border-radius:5px;
  padding:11px 12px;
  white-space:nowrap;
  font-size:.78rem;
  font-weight:600
}
.copy-command:hover {
  background:#f6f9ff
}
.proof-links {
  display:flex;
  gap:20px;
  margin:13px 0 0;
  flex-wrap:wrap
}
.proof-links a {
  font-size:.81rem;
  font-weight:600
}
.proof-boundary {
  font-size:.77rem;
  line-height:1.6;
  color:#405b84;
  margin:15px 0 0
}
.detail-bottom {
  padding:25px 36px 30px;
  display:grid;
  grid-template-columns:minmax(0,1fr) 175px;
  gap:32px
}
.detail-bottom h3 {
  font-size:.87rem;
  letter-spacing:0;
  margin-bottom:9px
}
.detail-bottom p {
  font-size:.86rem;
  color:var(--muted);
  margin:0;
  line-height:1.65
}
.next-links {
  display:flex;
  flex-direction:column;
  gap:10px
}
.next-links a {
  font-size:.82rem;
  font-weight:600
}
.workflow-meta {
  padding:13px 36px;
  background:#fafcff;
  border-top:1px solid var(--line);
  font-size:.73rem;
  color:var(--muted);
  display:flex;
  justify-content:space-between;
  gap:20px
}
.empty-state {
  border:1px dashed #bfcce0;
  background:#fff;
  border-radius:10px;
  padding:60px 36px;
  text-align:center
}
.empty-state h2 {
  font-size:1.6rem
}
.empty-state p {
  color:var(--muted)
}
.library-footer {
  border-top:1px solid var(--line);
  padding:30px 0 34px;
  display:flex;
  justify-content:space-between;
  gap:35px;
  align-items:flex-start
}
.library-footer p {
  max-width:750px;
  font-size:.78rem;
  color:var(--muted);
  margin:0
}
.library-footer a {
  font-size:.82rem;
  white-space:nowrap
}
.sr-only {
  position:absolute;
  width:1px;
  height:1px;
  padding:0;
  margin:-1px;
  overflow:hidden;
  clip:rect(0,0,0,0);
  white-space:nowrap;
  border:0
}
[hidden] {
  display:none!important
}
.js .template-detail:not(.is-selected) {
  display:none
}
.js-only {
  display:none
}
.js .js-only {
  display:block
}
.js .copy-command {
  display:inline-block
}
.copy-command {
  display:none
}
.nojs-message {
  margin:0 0 20px;
  font-size:.85rem;
  color:var(--muted)
}
@media(min-width:1100px) {
  .js .template-index {
    max-height:calc(100vh - 235px);
    overflow:auto;
    scrollbar-width:thin;
    scrollbar-color:#c3cfe4 transparent;
    padding-right:5px
  }
}
@media(max-width:1100px) {
  .shell {
    padding:0 28px
  }
  .library {
    grid-template-columns:270px minmax(0,1fr);
    gap:20px
  }
  .intro-note {
    display:none
  }
  .detail-header,.proof {
    padding-left:25px;
    padding-right:25px
  }
  .recipe {
    margin-left:25px;
    margin-right:25px
  }
  .recipe div {
    padding:14px
  }
  .requirements {
    margin-left:25px;
    margin-right:25px
  }
  .detail-bottom {
    padding-left:25px;
    padding-right:25px;
    grid-template-columns:1fr
  }
  .next-links {
    flex-direction:row;
    flex-wrap:wrap;
    gap:18px
  }
  .workflow-meta {
    padding-left:25px;
    padding-right:25px
  }
  .detail-lead {
    font-size:.96rem
  }
}
@media(max-width:760px) {
  .shell {
    padding:0 20px
  }
  .site-header {
    padding:21px 0
  }
  .brand {
    gap:10px
  }
  .brand strong {
    font-size:1.1rem
  }
  .brand span {
    font-size:.72rem;
    padding-left:10px
  }
  .header-links {
    gap:12px
  }
  .header-links>a:not(.button) {
    display:none
  }
  .header-links .button {
    padding:10px 12px;
    font-size:.76rem
  }
  .intro {
    padding:35px 0 27px
  }
  .intro p {
    font-size:.95rem
  }
  .intro h1 {
    font-size:2.6rem;
    margin-bottom:15px
  }
  .library {
    grid-template-columns:1fr;
    gap:22px;
    padding-bottom:25px
  }
  .browse {
    position:static
  }
  .filters {
    margin-bottom:10px
  }
  .js .template-index {
    max-height:248px;
    overflow:auto;
    border:1px solid var(--line);
    border-radius:7px;
    background:#fff
  }
  .template-link {
    padding:12px
  }
  .template-mark {
    width:29px;
    height:29px
  }
  .template-kind {
    display:none
  }
  .template-name {
    font-size:.87rem
  }
  .detail-header {
    padding:26px 22px 22px
  }
  .detail-category {
    margin-bottom:14px
  }
  .detail-lead {
    font-size:.97rem
  }
  .actions {
    gap:8px
  }
  .actions .button {
    font-size:.82rem;
    padding:12px 13px
  }
  .text-link {
    font-size:.8rem;
    margin-left:0
  }
  .recipe {
    margin:0 22px 23px;
    grid-template-columns:1fr
  }
  .recipe div {
    padding:12px 16px
  }
  .recipe div+div {
    border-left:0;
    border-top:1px solid var(--line)
  }
  .recipe dt {
    margin-bottom:3px
  }
  .requirements {
    margin:0 22px 24px;
    gap:8px
  }
  .proof {
    padding:23px 22px
  }
  .proof-top {
    gap:12px;
    align-items:flex-start
  }
  .proof-top h3 {
    font-size:1.05rem
  }
  .proof-tag {
    font-size:.64rem
  }
  .proof-summary {
    font-size:.86rem
  }
  .reproduce {
    align-items:stretch;
    gap:7px
  }
  .reproduce code {
    padding:10px;
    font-size:.67rem
  }
  .copy-command {
    font-size:.72rem;
    padding:8px
  }
  .detail-bottom {
    padding:23px 22px;
    gap:20px
  }
  .workflow-meta {
    padding:12px 22px;
    display:block;
    line-height:1.7
  }
  .workflow-meta span {
    display:block
  }
  .library-footer {
    display:block;
    padding:24px 0
  }
  .library-footer>a {
    display:block;
    margin-top:15px
  }
  .empty-state {
    padding:35px 25px
  }
}
@media(prefers-reduced-motion:reduce) {
  html {
    scroll-behavior:auto
  }
  * {
    transition:none!important
  }
}
@media(max-width:480px) {
  .site-header {
    flex-wrap:wrap;
    row-gap:14px
  }
  .header-links {
    width:100%
  }
  .header-links .button {
    width:100%;
    min-height:42px
  }
  .brand {
    min-width:0
  }
  .brand span {
    white-space:normal
  }
  .intro h1 {
    font-size:2.35rem
  }
}
.field-notes {
  padding:10px 0 42px
}
.reading-heading {
  display:flex;
  align-items:baseline;
  gap:35px;
  margin-bottom:25px
}
.reading-heading h2 {
  font-size:1.65rem;
  flex:1;
  margin:0
}
.reading-heading p {
  flex:1;
  margin:0;
  color:var(--muted);
  font-size:.88rem;
  max-width:560px
}
.field-notes ul {
  list-style:none;
  padding:0;
  margin:0;
  display:grid;
  grid-template-columns:repeat(3,minmax(0,1fr));
  gap:28px
}
.field-notes li {
  border-top:2px solid #bdcef0;
  padding:19px 0 0
}
.field-notes li>a {
  font-size:1.04rem;
  font-weight:650;
  line-height:1.5;
  display:block;
  max-width:350px
}
.field-notes li>p {
  font-size:.85rem;
  color:var(--muted);
  line-height:1.7;
  margin:10px 0 0;
  max-width:390px
}
@media(max-width:760px) {
  .field-notes {
    padding-top:5px
  }
  .reading-heading {
    display:block
  }
  .reading-heading h2 {
    font-size:1.5rem;
    margin-bottom:12px
  }
  .field-notes ul {
    grid-template-columns:1fr;
    gap:23px
  }
  .field-notes li {
    padding-top:16px
  }
  .field-notes li>a,.field-notes li>p {
    max-width:none
  }
}