/* lampson.org — same voice as the Lampson UI and the Synsema docs: ink on paper.
 * IBM Plex in two faces: the SERIF carries what you read, the MONO carries structure,
 * commands and code. Color is rationed: blue = a link or where you are; rubric red =
 * the things Lampson asks you about (permissions, danger); green = a lit lamp.
 * Dark is the default; [data-theme=light] flips it. Both are declared in full. */

@font-face{font-family:"Plex Serif";font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-serif-400-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Plex Serif";font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-serif-400-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
@font-face{font-family:"Plex Serif";font-style:italic;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-serif-400i-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Plex Serif";font-style:italic;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-serif-400i-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
@font-face{font-family:"Plex Serif";font-style:normal;font-weight:600;font-display:swap;src:url(/assets/fonts/plex-serif-600-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Plex Serif";font-style:normal;font-weight:600;font-display:swap;src:url(/assets/fonts/plex-serif-600-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-mono-400-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/plex-mono-400-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:600;font-display:swap;src:url(/assets/fonts/plex-mono-600-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:600;font-display:swap;src:url(/assets/fonts/plex-mono-600-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}

/* ---- tokens ---- */
:root,:root[data-theme=dark]{
  --paper:#131412; --paper-2:#1b1c19; --paper-3:#212320;
  --ink:#e9e8df; --ink-2:#9b9c90; --ink-3:#848678;
  --rule:#2b2c27; --rule-2:#3c3d36;
  --accent:#8fb4dc; --accent-bg:#1b2836;
  --rubric:#d98670; --str:#a8bd84; --lit:#d9c26a; --ok:#8fc28f;
  --sel:#33465b; --shadow:0 10px 30px rgba(0,0,0,.55);
  --serif:"Plex Serif",Georgia,"Times New Roman",serif;
  --mono:"Plex Mono",ui-monospace,SFMono-Regular,Consolas,"Liberation Mono",monospace;
  --maxw:1180px; --prose:720px; --side:250px; --toc:200px; --head:54px; --r:3px;
}
:root[data-theme=light]{
  --paper:#fcfcfa; --paper-2:#f4f3ee; --paper-3:#ecebe3;
  --ink:#1a1b18; --ink-2:#56584f; --ink-3:#6a6c61;
  --rule:#e4e3da; --rule-2:#cfcec2;
  --accent:#21578c; --accent-bg:#e9eef4;
  --rubric:#99372a; --str:#4a6b3f; --lit:#9a7b12; --ok:#3d7a3d;
  --sel:#cfe0f0; --shadow:0 6px 22px rgba(26,27,24,.13);
}

/* ---- base ---- */
*{box-sizing:border-box}
html{scroll-padding-top:calc(var(--head) + 16px)}
body{margin:0;background:var(--paper);color:var(--ink);font:400 17px/1.62 var(--serif);
  -webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}
::selection{background:var(--sel)}
a{color:var(--accent);text-decoration:none}
a:hover{text-decoration:underline;text-underline-offset:.18em;text-decoration-thickness:1px}
:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:1px}
hr{border:0;border-top:1px solid var(--rule);margin:2em 0}
code,kbd,pre{font-family:var(--mono)}
code{font-size:.86em;background:var(--paper-2);border:1px solid var(--rule);border-radius:var(--r);padding:.08em .35em}
pre{background:var(--paper-2);border:1px solid var(--rule);border-radius:var(--r);padding:14px 16px;overflow-x:auto;
  font-size:13.5px;line-height:1.55;margin:1.1em 0;position:relative}
pre code{background:none;border:0;padding:0;font-size:inherit}
pre[data-lang]::before{content:attr(data-lang);position:absolute;right:10px;bottom:6px;font:600 10px/1 var(--mono);
  color:var(--ink-3);letter-spacing:.06em;text-transform:uppercase}
.tok-c{color:var(--ink-3)} .tok-s{color:var(--str)} .tok-k{font-weight:600} .tok-r{color:var(--rubric);font-weight:600} .tok-t{color:var(--accent)}
.skip{position:absolute;left:-9999px;top:0;z-index:60;font:600 12px/1 var(--mono);background:var(--paper);color:var(--ink);
  border:1px solid var(--rule-2);padding:10px 14px}
.skip:focus{left:12px;top:9px;text-decoration:none}
[hidden]{display:none!important}

/* ---- header ---- */
.top{position:sticky;top:0;z-index:40;height:var(--head);display:flex;align-items:center;gap:22px;padding:0 22px;
  background:color-mix(in srgb,var(--paper) 88%,transparent);backdrop-filter:blur(8px);border-bottom:1px solid var(--rule)}
.brand{font:600 15px/1 var(--mono);color:var(--ink);letter-spacing:-.01em;white-space:nowrap;display:flex;align-items:center;gap:8px}
.brand:hover{text-decoration:none}
.brand .lamp{color:var(--lit);font-size:17px;line-height:1}
.topnav{display:flex;gap:4px;margin-left:auto;font:400 13px/1 var(--mono)}
.topnav a{color:var(--ink-2);padding:8px 10px;border-radius:var(--r)}
.topnav a:hover{color:var(--ink);text-decoration:none;background:var(--paper-2)}
.topnav a.on{color:var(--accent);background:var(--accent-bg)}
.theme-toggle,.nav-toggle{display:flex;align-items:center;justify-content:center;width:32px;height:32px;border:1px solid var(--rule);
  border-radius:var(--r);background:transparent;color:var(--ink-2);cursor:pointer;font:400 14px/1 var(--mono)}
.theme-toggle:hover,.nav-toggle:hover{color:var(--ink);background:var(--paper-2)}
.nav-toggle{display:none}
.langs{display:flex;gap:2px;font:600 11px/1 var(--mono);letter-spacing:.06em;border:1px solid var(--rule);border-radius:var(--r);padding:2px}
.langs a{color:var(--ink-3);padding:6px 7px;border-radius:2px}
.langs a:hover{color:var(--ink);text-decoration:none;background:var(--paper-2)}
.langs a.on{color:var(--accent);background:var(--accent-bg)}

/* ---- landing ---- */
.page{max-width:var(--maxw);margin:0 auto;padding:0 22px}
.hero{padding:76px 0 40px;display:grid;grid-template-columns:minmax(0,1.05fr) minmax(0,1fr);gap:56px;align-items:center}
.hero h1{font:600 46px/1.12 var(--serif);letter-spacing:-.015em;margin:0 0 18px}
.hero h1 em{font-style:normal;color:var(--lit)}
.hero .lede{font-size:20px;line-height:1.5;color:var(--ink-2);margin:0 0 28px;max-width:34em}
.cta{display:flex;gap:12px;flex-wrap:wrap;align-items:center}
.btn{display:inline-flex;align-items:center;gap:8px;font:600 13.5px/1 var(--mono);padding:12px 18px;border-radius:var(--r);
  border:1px solid var(--rule-2);color:var(--ink);background:var(--paper-2)}
.btn:hover{text-decoration:none;background:var(--paper-3)}
.btn.primary{background:var(--ink);color:var(--paper);border-color:var(--ink)}
.btn.primary:hover{opacity:.92}
.eyebrow{font:600 11px/1 var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--rubric);margin:0 0 14px}

/* the one-liner with a copy button */
.cmd{display:flex;align-items:center;gap:10px;background:var(--paper-2);border:1px solid var(--rule);border-radius:var(--r);
  padding:10px 12px 10px 14px;font:400 14px/1.4 var(--mono);overflow:hidden}
.cmd .dollar{color:var(--ink-3);user-select:none}
.cmd code{background:none;border:0;padding:0;font-size:inherit;white-space:nowrap;overflow-x:auto;flex:1;scrollbar-width:none}
.cmd code::-webkit-scrollbar{display:none}
.copy{flex:none;font:600 11px/1 var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--ink-2);background:transparent;
  border:1px solid var(--rule-2);border-radius:var(--r);padding:7px 9px;cursor:pointer}
.copy:hover{color:var(--ink);background:var(--paper-3)}
.copy.done{color:var(--ok);border-color:var(--ok)}
.prose pre .copy{position:absolute;right:8px;top:7px;opacity:0;transition:opacity .12s;background:var(--paper-2)}
.prose pre:hover .copy,.prose pre .copy:focus-visible,.prose pre .copy.done{opacity:1}
.cmd + .cmd{margin-top:8px}
.cmd-note{font:400 12.5px/1.5 var(--mono);color:var(--ink-3);margin:8px 0 0}

/* terminal mock */
.term{background:var(--paper-2);border:1px solid var(--rule);border-radius:var(--r);box-shadow:var(--shadow);overflow:hidden;font:400 13px/1.6 var(--mono)}
.term-bar{display:flex;align-items:center;gap:6px;padding:8px 12px;border-bottom:1px solid var(--rule);color:var(--ink-3);font-size:11.5px}
.term-bar i{width:9px;height:9px;border-radius:50%;background:var(--rule-2);display:inline-block}
.term-bar span{margin-left:auto}
.term pre{margin:0;border:0;border-radius:0;background:transparent;padding:14px 16px;font-size:13px;white-space:pre-wrap}
.term .you{color:var(--ink);background:var(--paper-3);padding:1px 6px;border-radius:2px}
.term .ok{color:var(--ok)} .term .ask{color:var(--rubric)} .term .dim{color:var(--ink-3)} .term .path{color:var(--accent)} .term .lit{color:var(--lit)}

/* sections */
.sec{padding:44px 0;border-top:1px solid var(--rule)}
.sec h2{font:600 28px/1.2 var(--serif);letter-spacing:-.01em;margin:0 0 10px}
.sec .lede{color:var(--ink-2);font-size:18px;margin:0 0 26px;max-width:40em}
.grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:22px}
.card{border:1px solid var(--rule);border-radius:var(--r);padding:20px 20px 18px;background:var(--paper-2)}
.card h3{font:600 17px/1.3 var(--serif);margin:0 0 8px;display:flex;gap:10px;align-items:baseline}
.card h3 .k{font:600 11px/1 var(--mono);color:var(--rubric);letter-spacing:.08em;text-transform:uppercase}
.card p{margin:0;color:var(--ink-2);font-size:15.5px;line-height:1.55}
.card code{font-size:.85em}
.two{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:40px;align-items:start}
.two ul{margin:0;padding-left:1.1em;color:var(--ink-2)} .two li{margin:.35em 0}
.providers{display:flex;flex-wrap:wrap;gap:8px;margin-top:14px}
.providers span{font:400 12.5px/1 var(--mono);border:1px solid var(--rule-2);border-radius:999px;padding:6px 11px;color:var(--ink-2)}
.closer{padding:56px 0 64px;text-align:center;border-top:1px solid var(--rule)}
.closer h2{font:600 30px/1.2 var(--serif);margin:0 0 10px}
.closer p{color:var(--ink-2);margin:0 0 22px;font-size:18px}
.closer .cmd{max-width:420px;margin:0 auto 18px;text-align:left}

/* install page */
.install .page{max-width:820px}
.install h1{font:600 40px/1.15 var(--serif);margin:56px 0 10px;letter-spacing:-.015em}
.install .lede{color:var(--ink-2);font-size:19px;margin:0 0 30px}
.tabs{display:flex;gap:2px;border-bottom:1px solid var(--rule);margin:0 0 18px}
.tab{font:600 13px/1 var(--mono);color:var(--ink-2);background:transparent;border:0;border-bottom:2px solid transparent;
  padding:10px 14px;cursor:pointer;margin-bottom:-1px}
.tab:hover{color:var(--ink)}
.tab.on{color:var(--accent);border-bottom-color:var(--accent)}
.panel{display:none} .panel.on{display:block}
.step{display:grid;grid-template-columns:34px minmax(0,1fr);gap:14px;margin:26px 0}
.step .n{width:30px;height:30px;border-radius:50%;border:1px solid var(--rule-2);display:flex;align-items:center;justify-content:center;
  font:600 13px/1 var(--mono);color:var(--ink-2);margin-top:2px}
.step h3{font:600 18px/1.3 var(--serif);margin:4px 0 8px}
.step p{margin:0 0 10px;color:var(--ink-2)}
.install h2{font:600 24px/1.25 var(--serif);margin:44px 0 10px;padding-top:22px;border-top:1px solid var(--rule)}
.install p{color:var(--ink-2)}
.install ul{color:var(--ink-2);padding-left:1.15em} .install li{margin:.35em 0}
.install table{border-collapse:collapse;width:100%;font-size:15px;margin:12px 0}
.install td,.install th{text-align:left;padding:8px 10px;border-bottom:1px solid var(--rule);vertical-align:top}
.install th{font:600 12px/1 var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--ink-3)}
details{border:1px solid var(--rule);border-radius:var(--r);padding:10px 14px;margin:14px 0;background:var(--paper-2)}
summary{cursor:pointer;font:600 14px/1.4 var(--mono);color:var(--ink-2)}
summary:hover{color:var(--ink)}
details[open] summary{margin-bottom:8px}

/* ---- docs ---- */
.layout{display:grid;grid-template-columns:var(--side) minmax(0,1fr) var(--toc);gap:0 40px;max-width:var(--maxw);margin:0 auto;padding:0 22px}
.side{position:sticky;top:var(--head);align-self:start;height:calc(100vh - var(--head));overflow-y:auto;padding:26px 0 40px;
  border-right:1px solid var(--rule);scrollbar-width:thin}
.side-inner{padding-right:16px}
.side-group{font:600 11px/1 var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--rubric);margin:22px 0 8px}
.side-group:first-child{margin-top:0}
.side ul{list-style:none;margin:0;padding:0}
.side li a{display:block;font:400 13.5px/1.4 var(--mono);color:var(--ink-2);padding:5px 10px;margin-left:-10px;border-radius:var(--r)}
.side li a:hover{color:var(--ink);text-decoration:none;background:var(--paper-2)}
.side li a.on{color:var(--accent);background:var(--accent-bg)}
.prose{max-width:var(--prose);padding:34px 0 60px;min-width:0}
.prose h1{font:600 36px/1.15 var(--serif);letter-spacing:-.015em;margin:0 0 18px}
.prose h2{font:600 24px/1.25 var(--serif);margin:2em 0 .6em;padding-top:.6em;border-top:1px solid var(--rule)}
.prose h3{font:600 18px/1.3 var(--serif);margin:1.6em 0 .5em}
.prose p{margin:0 0 1.05em}
.prose ul{padding-left:1.2em;margin:0 0 1.05em} .prose li{margin:.3em 0}
.prose li+li{margin-top:.35em}
.prose blockquote{margin:1.2em 0;padding:10px 16px;border-left:3px solid var(--rubric);background:var(--paper-2);color:var(--ink-2);border-radius:0 var(--r) var(--r) 0}
.prose blockquote p{margin:0}
.prose table{border-collapse:collapse;width:100%;font-size:15px;margin:1.2em 0;display:block;overflow-x:auto}
.prose th,.prose td{text-align:left;padding:8px 10px;border-bottom:1px solid var(--rule);vertical-align:top}
.prose th{font:600 12px/1 var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--ink-3);white-space:nowrap}
.prose td code{white-space:nowrap}
.prose .anchor{margin-left:.4em;color:var(--ink-3);opacity:0;font-weight:400;font-family:var(--mono);font-size:.8em}
.prose h2:hover .anchor,.prose h3:hover .anchor{opacity:1}
.prose .edit{font:400 12.5px/1 var(--mono);margin:36px 0 0}
.pager{display:flex;justify-content:space-between;gap:20px;margin:28px 0 0;padding-top:20px;border-top:1px solid var(--rule)}
.pager a{display:flex;flex-direction:column;gap:4px;font:600 14px/1.3 var(--serif);color:var(--ink);max-width:48%}
.pager a small{font:400 11px/1 var(--mono);color:var(--ink-3);letter-spacing:.06em;text-transform:uppercase}
.pager a:hover{text-decoration:none;color:var(--accent)}
.pager .next{text-align:right;margin-left:auto}
.toc{position:sticky;top:var(--head);align-self:start;padding:34px 0;font:400 12.5px/1.5 var(--mono)}
.toc-title{font:600 11px/1 var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--ink-3);margin:0 0 10px}
.toc ul{list-style:none;margin:0;padding:0;border-left:1px solid var(--rule)}
.toc li a{display:block;color:var(--ink-2);padding:3px 0 3px 12px;margin-left:-1px;border-left:1px solid transparent}
.toc li a:hover{color:var(--ink);text-decoration:none}
.toc li a.on{color:var(--accent);border-left-color:var(--accent)}

/* ---- footer ---- */
.foot{border-top:1px solid var(--rule);padding:26px 22px 40px;font:400 12.5px/1.7 var(--mono);color:var(--ink-3);text-align:center}
.foot p{margin:0}

/* ---- responsive ---- */
@media (max-width:1040px){
  .layout{grid-template-columns:var(--side) minmax(0,1fr)} .toc{display:none}
  .grid{grid-template-columns:repeat(2,minmax(0,1fr))}
}
@media (max-width:820px){
  .hero{grid-template-columns:1fr;gap:34px;padding-top:44px} .hero h1{font-size:36px}
  .two{grid-template-columns:1fr;gap:24px} .grid{grid-template-columns:1fr}
  .layout{grid-template-columns:1fr;gap:0}
  .side{position:fixed;left:0;right:0;top:var(--head);height:auto;max-height:calc(100vh - var(--head));background:var(--paper);
    border-right:0;border-bottom:1px solid var(--rule);padding:14px 22px 20px;display:none;z-index:30}
  .side.open{display:block}
  .nav-toggle{display:flex}
  .topnav{margin-left:auto}
  .langs a{padding:6px 5px}
  .install h1{font-size:32px;margin-top:36px}
}