/* how.froment.software: one stylesheet for both languages. Plain CSS, no build step.
   A technical document: you land on it and you read it. A side index, normal sizes, one colour for the landmarks.
   One accent colour. Fonts: IBM Plex (OFL), bundled in fonts/. */

@font-face { font-family: "Plex Mono"; src: url("fonts/ibm-plex-mono-400.woff2") format("woff2"); font-weight: 400; font-display: swap; }
@font-face { font-family: "Plex Mono"; src: url("fonts/ibm-plex-mono-700.woff2") format("woff2"); font-weight: 700; font-display: swap; }
@font-face { font-family: "Plex Sans"; src: url("fonts/ibm-plex-sans-400.woff2") format("woff2"); font-weight: 400; font-display: swap; }
@font-face { font-family: "Plex Sans"; src: url("fonts/ibm-plex-sans-600.woff2") format("woff2"); font-weight: 600; font-display: swap; }

:root {
  --y: #29c659;   /* the green of the Froment Software logo: the one accent, change it here */
  --bg: #111111;
  --panel: #1a1a1a;
  --w: #f2f2f2;
  --g: #a3a3a3;
  --line: #3d3d3d;
  --mono: "Plex Mono", ui-monospace, Consolas, monospace;
  --sans: "Plex Sans", system-ui, sans-serif;
  color-scheme: dark;
}

* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; scroll-padding-top: 1rem; }
body { margin: 0; background: var(--bg); color: var(--w); font: 400 1.0625rem/1.6 var(--sans); }
::selection { background: var(--y); color: #000; }
:focus-visible { outline: 2px solid var(--y); outline-offset: 2px; }

a { color: inherit; text-decoration: underline; text-decoration-color: var(--y); text-underline-offset: 0.18em; }
a:hover { color: var(--y); }

/* the one-line version of each position */
.tldr-link { margin-left: auto; color: var(--y); font-weight: 700; }
.tldr { margin-top: 1rem; padding-left: 2.2rem; }
.tldr li { margin: 0.35rem 0; }
.tldr li::marker { color: var(--g); font: 400 0.85rem var(--mono); }
.tldr a { text-decoration: none; }
.tldr a:hover { text-decoration: underline; }

/* the head of the document */
.cover { max-width: 68rem; margin: 0 auto; padding: 1.1rem 1.25rem 1.6rem; border-bottom: 1px solid var(--line); }
.bar { display: flex; justify-content: space-between; align-items: baseline; gap: 1rem; color: var(--g); font: 400 0.9rem/1.3 var(--mono); }
.bar a[aria-current="true"] { color: var(--w); font-weight: 700; text-decoration: none; }
.bar .lang a { margin-left: 0.7rem; }
.wordmark { color: var(--w); font: 700 1.25rem/1 var(--mono); text-decoration: none; }
.wordmark span { color: var(--y); }
.cover h1 { margin: 1.5rem 0 0.5rem; font: 700 1.9rem/1.2 var(--mono); letter-spacing: -0.02em; }
.sub { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: baseline; gap: 0.3rem 2rem; }
.oneline { margin: 0; font: 400 1rem/1.5 var(--mono); }
.oneline span { margin-right: 0.6em; }
.oneline span:last-child { margin-right: 0; }
.oneline em { font-style: normal; font-weight: 700; color: var(--y); }
.edition { margin: 0; color: var(--g); font: 400 0.85rem/1.4 var(--mono); }
.edition time { color: var(--w); }
.edition.archived { display: inline-block; padding: 0.3rem 0.6rem; background: var(--y); color: #000; }
.edition.archived time, .edition.archived a { color: #000; text-decoration-color: #000; }

/* the document: an index on the side, the text beside it */
main { display: grid; grid-template-columns: 16rem minmax(0, 47rem); column-gap: 3rem; max-width: 68rem; margin: 0 auto; padding: 0 1.25rem; }
main > * { grid-column: 2; }
.page { display: contents; }
.page > * { grid-column: 2; }
.page > .toc { grid-column: 1; grid-row: 1 / span 100; position: sticky; top: 0; align-self: start; max-height: 100vh; overflow-y: auto; padding: 1.6rem 0.5rem 1.6rem 0; }
.toc h2 { margin: 1.1rem 0 0.3rem; color: var(--y); font: 700 0.85rem/1.3 var(--mono); }
.toc div:first-child h2 { margin-top: 0; }
.toc ol { margin: 0; padding-left: 2.1rem; color: var(--g); font-size: 0.88rem; line-height: 1.35; }
.toc li { margin: 0.28rem 0; }
.toc li::marker { color: var(--g); font: 400 0.8rem var(--mono); }
.toc a { color: var(--w); text-decoration: none; }
.toc a:hover { color: var(--y); text-decoration: underline; }
.toc a[aria-current="true"] { color: var(--y); font-weight: 600; }

/* a chapter */
.chapter { margin-top: 4rem; padding-top: 0.7rem; border-top: 3px solid var(--y); }
.chapter p { margin: 0; color: var(--g); font: 400 0.85rem/1.3 var(--mono); }
.chapter h2 { margin: 0.2rem 0 0; color: var(--y); font: 700 1.65rem/1.2 var(--mono); letter-spacing: -0.02em; }

/* a position */
section { padding-top: 2.6rem; }
.num { display: block; color: var(--y); font: 700 0.85rem/1.3 var(--mono); }
h3 { margin: 0.1rem 0 0.9rem; font: 700 1.4rem/1.25 var(--mono); letter-spacing: -0.02em; }
p { margin: 0 0 1rem; }
ul, ol { margin: 0 0 1rem; padding-left: 1.3rem; }
li { margin: 0.4rem 0; }
li::marker { color: var(--y); }
strong { font-weight: 600; }
code { color: var(--y); font: 0.9em var(--mono); }

/* the sentence that carries a position */
.say { margin: 1.3rem 0; font: 700 1.17rem/1.4 var(--mono); letter-spacing: -0.01em; }
.say em { font-style: normal; color: var(--y); }

.quote { margin: 0 0 1.3rem; padding-left: 1rem; border-left: 3px solid var(--y); font: 400 1.02rem/1.5 var(--mono); }
.quote small { display: block; margin-top: 0.3rem; color: var(--g); font-size: 0.85rem; }

/* what is not prose sits in a frame */
figure { margin: 1.4rem 0; }
.diagram { padding: 0.9rem; background: var(--panel); border: 1px solid var(--line); overflow-x: auto; }
.diagram svg { display: block; margin: 0 auto; max-width: 100%; height: auto; }
.diagram svg * { filter: none !important; }
pre.tree { margin: 1.4rem 0; padding: 0.9rem 1.1rem; background: var(--panel); border: 1px solid var(--line); overflow-x: auto; font: 400 0.88rem/1.55 var(--mono); }
pre.tree .c { color: var(--g); }
.commit { padding: 0.6rem 0.9rem; background: var(--panel); border: 1px solid var(--line); overflow-x: auto; white-space: nowrap; }

/* the six numbers */
.cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(14rem, 1fr)); gap: 1px; margin: 1.3rem 0; padding: 0; background: var(--line); border: 1px solid var(--line); list-style: none; }
.cards li { margin: 0; padding: 0.7rem 0.9rem; background: var(--panel); }
.cards b { display: block; color: var(--y); font: 700 0.95rem/1.3 var(--mono); }
.cards span { display: block; margin-top: 0.15rem; color: var(--g); font-size: 0.92rem; line-height: 1.4; }
.no { padding: 0.7rem 0.9rem; border: 1px solid var(--y); }
.no b { color: var(--y); font: 700 0.95em var(--mono); }

/* roles */
.roles { overflow-x: auto; }
table { width: 100%; margin: 1.3rem 0; border-collapse: collapse; font-size: 0.98rem; }
th, td { padding: 0.55rem 0.75rem; text-align: left; vertical-align: top; border: 1px solid var(--line); }
th { background: var(--panel); font: 700 0.85rem/1.3 var(--mono); }
td:first-child { color: var(--y); font: 700 0.92rem/1.4 var(--mono); white-space: nowrap; }

.note { color: var(--g); }
.src { margin: 1.2rem 0 0; color: var(--g); font-size: 0.85rem; line-height: 1.55; }
.src b { color: var(--w); font: 700 0.8rem/1 var(--mono); margin-right: 0.35rem; }
.src a { text-decoration-color: #666; }

/* the end */
footer { max-width: 68rem; margin: 4.5rem auto 0; padding: 1.1rem 1.25rem 2.5rem; border-top: 1px solid var(--line); color: var(--g); font: 400 0.9rem/1.5 var(--mono); }
footer p { margin: 0 0 0.2rem; }

/* the list of editions */
main.list { display: block; }
main.list td:first-child { color: var(--w); font-weight: 400; }

@media (max-width: 58rem) {
  main { display: block; }
  .page { display: block; }
  .page > .toc { position: static; max-height: none; padding: 1.4rem 0 0; }
  td:first-child { white-space: normal; }
}
@media print {
  body { background: #fff; color: #000; }
  main, .page { display: block; }
  .toc { display: none; }
  .num, .say em, .oneline em, code, .cards b, td:first-child, .chapter h2 { color: #000; }
  section { break-inside: avoid-page; }
}
