:root {
  --ink: #102235;
  --muted: #526171;
  --line: #d9e3ec;
  --soft: #f5f8fb;
  --soft-2: #eaf1f7;
  --accent: #1f5b87;
  --accent-dark: #174664;
  --paper: #ffffff;
  --shadow: 0 10px 30px rgba(15, 35, 54, .08);
  color-scheme: light;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  color: var(--ink);
  background: linear-gradient(180deg, #f7fbff 0, #fff 28rem);
  font-family: ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, "Noto Sans", "Apple Color Emoji", "Segoe UI Emoji";
  line-height: 1.58;
}
a { color: var(--accent-dark); text-decoration-thickness: .08em; text-underline-offset: .16em; }
a:hover { color: #0b2e45; }
.wrap { width: min(1180px, calc(100% - 2rem)); margin-inline: auto; }
.skip-link { position: absolute; left: -999px; top: 1rem; background: #fff; border: 2px solid var(--accent); padding: .5rem .75rem; z-index: 20; }
.skip-link:focus { left: 1rem; }
.site-header { padding: 4rem 0 2.75rem; border-bottom: 1px solid var(--line); }
.hero { text-align: center; }
.eyebrow { color: var(--accent-dark); font-weight: 700; letter-spacing: .05em; text-transform: uppercase; font-size: .82rem; margin: 0 0 .8rem; }
h1 { font-size: clamp(2.4rem, 7vw, 5rem); line-height: .98; margin: 0; letter-spacing: -.045em; }
.subtitle { font-size: clamp(1.15rem, 2.4vw, 1.75rem); color: var(--muted); margin: 1rem 0 .25rem; }
.byline { font-weight: 800; margin: .25rem 0 .35rem; }
.contact-line { margin: 0 0 1.4rem; color: var(--muted); font-weight: 650; }
.contact-line a { font-weight: 800; }
.summary { max-width: 850px; margin: 1rem auto 1.4rem; font-size: 1.08rem; }
.download-row { display: flex; flex-wrap: wrap; justify-content: center; gap: .7rem; margin: 1.5rem 0; }
.button { display: inline-flex; align-items: center; justify-content: center; min-height: 2.65rem; padding: .58rem .95rem; border-radius: .75rem; border: 1px solid var(--line); background: #fff; box-shadow: var(--shadow); font-weight: 750; text-decoration: none; }
.button.primary { background: var(--accent-dark); color: #fff; border-color: var(--accent-dark); }
.button.primary:hover { color: #fff; background: #0d314a; }
.facts { max-width: 920px; margin: 1.75rem auto; display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: .75rem; text-align: left; }
.facts div { background: rgba(255,255,255,.82); border: 1px solid var(--line); border-radius: .9rem; padding: .85rem 1rem; }
.facts dt { font-weight: 800; color: var(--accent-dark); }
.facts dd { margin: .18rem 0 0; }
.law { max-width: 900px; margin: 1.7rem auto 0; border-left: 0; background: var(--accent-dark); color: #fff; border-radius: 1rem; padding: 1rem 1.25rem; font-size: 1.08rem; font-weight: 800; }
.layout { display: grid; grid-template-columns: 300px minmax(0, 1fr); gap: 2rem; align-items: start; padding: 2rem 0 4rem; }
.sidebar { position: sticky; top: 1rem; align-self: start; max-height: calc(100vh - 2rem); overflow: auto; }
.panel { background: #fff; border: 1px solid var(--line); border-radius: 1rem; box-shadow: var(--shadow); padding: 1rem; margin-bottom: 1rem; }
.search-label { display: block; font-weight: 800; margin-bottom: .45rem; }
#site-search { width: 100%; font: inherit; padding: .7rem .75rem; border: 1px solid #bac9d6; border-radius: .7rem; }
.search-status { color: var(--muted); min-height: 1.4em; margin: .45rem 0 0; font-size: .92rem; }
.toc h2, .machine-panel h2 { font-size: .98rem; margin: 0 0 .7rem; }
.toc ol { list-style: none; padding: 0; margin: 0; }
.toc li { margin: .34rem 0; }
.toc .toc-sub { padding-left: 1rem; font-size: .94rem; }
.toc a { text-decoration: none; }
.toc a:hover { text-decoration: underline; }
.machine-panel p { margin: .35rem 0; }
.content { min-width: 0; }
.paper { background: var(--paper); border: 1px solid var(--line); border-radius: 1.25rem; box-shadow: var(--shadow); padding: clamp(1.1rem, 3vw, 3rem); }
.paper section { scroll-margin-top: 1rem; margin-bottom: 2.6rem; }
.paper h2 { font-size: clamp(1.55rem, 3vw, 2.1rem); line-height: 1.18; margin: 0 0 1rem; padding-top: .2rem; letter-spacing: -.02em; color: var(--accent-dark); }
.paper h3 { font-size: 1.25rem; margin-top: 1.5rem; color: var(--accent-dark); }
.paper p { margin: .85rem 0; }
.paper table { width: 100%; border-collapse: collapse; margin: 1rem 0; overflow-x: auto; display: block; border: 1px solid var(--line); border-radius: .85rem; }
.paper table tbody, .paper table thead { width: 100%; }
.paper th, .paper td { border: 1px solid var(--line); padding: .62rem .7rem; vertical-align: top; }
.paper th { background: var(--accent-dark); color: #fff; text-align: left; }
.paper tr:nth-child(even) td { background: var(--soft); }
.paper .callout-table { display: table; background: var(--soft); border-left: .35rem solid var(--accent); }
.paper .callout-table th, .paper .callout-table td { background: var(--soft); color: var(--ink); border-color: var(--line); }
.paper blockquote { margin: 1rem 0; padding: .8rem 1rem; border-left: .28rem solid var(--accent); background: var(--soft); color: var(--ink); }
.paper code, .paper pre, .paper .math { font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Noto Sans Mono", monospace; }
.paper .display.math { display: block; text-align: center; overflow-x: auto; padding: .4rem; }
.site-footer { border-top: 1px solid var(--line); background: var(--soft); padding: 1.4rem 0 2rem; color: var(--muted); }
.site-footer p { max-width: 980px; }
mark.search-hit { background: #fff3a0; color: inherit; padding: 0 .08em; border-radius: .12em; }
.is-hidden-by-search { display: none !important; }
@media (max-width: 940px) {
  .layout { grid-template-columns: 1fr; }
  .sidebar { position: static; max-height: none; }
  .facts { grid-template-columns: 1fr; }
}
@media print {
  .sidebar, .download-row, .site-footer, .skip-link, .machine-panel { display: none; }
  body { background: #fff; }
  .layout { display: block; }
  .paper, .panel { box-shadow: none; border: 0; }
  a { color: inherit; }
}