/* The documentation pages' own look (DOCS_SPEC.md §2), on top of the site's (styles/base.css): the outline on the left,
   the pictures through a window onto a part of them with their numbers on top, the tables. Shared by every docs page. */
/* (The app owns its viewport and never scrolls; this page is read top to bottom. The page scrolls, the body never: a body
   with an overflow of its own is a scroll box that never scrolls, and the outline's sticky would stick to it — it did,
   and the outline went up with the page.) */
html { overflow: auto; height: auto; }
body { overflow: visible; height: auto; }
body { background: var(--bg-dark); }
.dx-tag { font-family: var(--font-heading); font-size: 0.8rem; letter-spacing: 0.12em; text-transform: uppercase; color: var(--primary-color); border-left: 1px solid var(--border-color); padding-left: 14px; }
.dx-gap { flex: 1; }
/* The docs' pages, a tab each in the bar: the columns' tabs' look (workspace.css .ws-icontab) — the open one with a teal
   line under it. */
.dx-tabs { display: flex; align-self: stretch; }
.dx-tab { display: flex; align-items: center; padding: 0 16px; color: var(--text-muted); text-decoration: none; font-family: var(--font-heading); font-size: 0.85rem; letter-spacing: 0.04em; border-bottom: 2px solid transparent; white-space: nowrap; }
.dx-tab:hover { color: var(--text-primary); }
.dx-tab.is-on { background: var(--bg-light); border-bottom-color: var(--primary-color); color: var(--primary-color); }
.dx-back { color: var(--text-secondary); font-size: 0.95rem; text-decoration: none; border: 1px solid var(--border-color); padding: 6px 12px; }
.dx-back:hover { color: var(--primary-color); border-color: var(--primary-color); }
.dx { display: grid; grid-template-columns: 250px minmax(0, 1fr); margin-top: var(--bar-h); min-height: calc(100vh - var(--bar-h)); }
/* The outline, following you down the page. */
.dx-nav { position: sticky; top: var(--bar-h); align-self: start; height: calc(100vh - var(--bar-h)); overflow-y: auto; border-right: 1px solid var(--border-color); background: var(--bg-medium); padding: 18px 14px; }
.dx-nav h2 { font-family: var(--font-heading); font-size: 0.72rem; letter-spacing: 0.1em; text-transform: uppercase; color: var(--text-muted); margin: 16px 0 6px; font-weight: 400; }
.dx-nav h2:first-child { margin-top: 0; }
.dx-nav a { display: block; color: var(--text-secondary); text-decoration: none; font-size: 0.98rem; padding: 2px 6px; border-left: 2px solid transparent; }
.dx-nav a:hover { color: var(--text-primary); }
.dx-nav a.is-here { color: var(--primary-color); border-left-color: var(--primary-color); }
.dx-nav a.dx-in { padding-left: 22px; }
.dx-nav a.dx-in2 { padding-left: 38px; }
.dx-nav a.dx-later { color: #5c5c5c; }
.dx-nav .dx-num { display: inline-block; min-width: 2.2em; font-family: var(--font-heading); font-size: 0.8rem; }
.dx-main { padding: 28px 40px 80px; max-width: 1240px; }
.dx-main h1 { font-family: var(--font-heading); font-size: 1.5rem; letter-spacing: 0.04em; margin: 0 0 6px; font-weight: 400; }
.dx-main h2 { font-family: var(--font-heading); font-size: 1.15rem; letter-spacing: 0.04em; margin: 48px 0 6px; font-weight: 400; padding-top: 10px; border-top: 1px solid var(--border-color); scroll-margin-top: calc(var(--bar-h) + 12px); }
.dx-main h3 { font-family: var(--font-heading); font-size: 1rem; letter-spacing: 0.04em; margin: 34px 0 6px; font-weight: 400; color: var(--primary-color); scroll-margin-top: calc(var(--bar-h) + 12px); }
.dx-main h4 { font-family: var(--font-heading); font-size: 0.92rem; letter-spacing: 0.04em; margin: 26px 0 6px; font-weight: 400; color: var(--text-primary); scroll-margin-top: calc(var(--bar-h) + 12px); }
.dx-main .dx-n { color: var(--text-muted); margin-right: 10px; }
.dx-lead { color: var(--text-secondary); font-size: 1.1rem; margin: 0 0 18px; max-width: 900px; line-height: 1.45; }
.dx-main p, .dx-main li { color: var(--text-secondary); font-size: 1.05rem; line-height: 1.5; max-width: 900px; }
.dx-main a { color: var(--primary-color); }
.dx-main p.dx-later { color: #6a6a6a; font-style: italic; }
.dx-note { border-left: 3px solid var(--primary-color); background: var(--bg-light); padding: 8px 14px; margin: 14px 0; max-width: 900px; }
.dx-note p { margin: 4px 0; }
kbd { font-family: var(--font-heading); font-size: 0.85em; border: 1px solid var(--border-color); background: var(--bg-light); padding: 1px 6px; color: var(--text-primary); }
code { font-family: var(--font-heading); font-size: 0.9em; color: var(--text-primary); }
/* A picture, or a part of one — the file shown through a window onto the part wanted — with its numbers on top. */
/* (An outline, not a border: a border takes room inside, and the picture placed in percent of it comes out shifted.) */
.dx-shot { position: relative; overflow: hidden; outline: 1px solid var(--border-color); background: #000; margin: 0; }
.dx-shot img { position: absolute; display: block; max-width: none; }
.dx-mark { position: absolute; border: 2px solid var(--dx-mark); pointer-events: none; }
/* (On its box's corner, half out of it, so it hides little of what it numbers — inside, where the box is at the picture's edge.) */
.dx-badge { position: absolute; min-width: 18px; height: 18px; padding: 0 4px; display: flex; align-items: center; justify-content: center; background: var(--dx-mark); color: #111; font: 700 11px/1 var(--font-heading); text-decoration: none; box-shadow: 0 0 0 1px #111; z-index: 1; }
/* (Black on yellow as every number is — not the page's link colour, though those on the whole screen are links.) */
.dx-main a.dx-badge { color: #111; }
a.dx-badge:hover { outline: 2px solid #fff; }
:root { --dx-mark: #f2c230; }
.dx-cap { color: var(--text-muted); font-size: 0.95rem; margin: 6px 0 14px; }
.dx-stack > figure { margin-bottom: 10px; }
/* A crop and its table side by side. */
.dx-pair { display: flex; gap: 28px; align-items: flex-start; margin: 14px 0; }
.dx-pair > figure { flex: none; }
.dx-pair > .dx-tablewrap { flex: 1; min-width: 0; }
table.dx-t { border-collapse: collapse; width: 100%; font-size: 1rem; }
.dx-t th, .dx-t td { border: 1px solid var(--border-color); padding: 7px 10px; text-align: left; vertical-align: top; color: var(--text-secondary); line-height: 1.4; }
.dx-t th { font-family: var(--font-heading); font-size: 0.75rem; letter-spacing: 0.08em; text-transform: uppercase; color: var(--text-muted); font-weight: 400; background: var(--bg-medium); }
.dx-t td.dx-n { width: 34px; text-align: center; background: var(--dx-mark); color: #111; font: 700 13px/1.4 var(--font-heading); }
.dx-t td.dx-name { color: var(--text-primary); font-weight: 700; min-width: 120px; }
.dx-t td.dx-keys { white-space: nowrap; }
.dx-t .dx-later { color: #6a6a6a; }