/* The Terminal Terms pages: the Terminal's own dark look, readable on any screen and in print. */
:root {
  color-scheme: dark;
  --bg: #040504; --panel: #0e1110; --line: #262626; --line-soft: #1c1e1c;
  --text: #e4e7e4; --muted: #9ea39d; --dim: #797e77; --accent: #21c55e; --mint: #acf0bd;
  --measure: 44rem;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 4.5rem; }
body {
  margin: 0; background: var(--bg); color: var(--text);
  font: 16px/1.7 system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", sans-serif;
  font-variant-numeric: tabular-nums; -webkit-font-smoothing: antialiased;
}
a { color: var(--mint); text-decoration: underline; text-decoration-color: rgba(172, 240, 189, .35); text-underline-offset: 2px; }
a:hover { text-decoration-color: var(--mint); }

.t-top { position: sticky; top: 0; z-index: 2; background: rgba(4, 5, 4, .92); border-bottom: 1px solid var(--line-soft); backdrop-filter: blur(8px); }
.t-top-in { max-width: 72rem; margin: 0 auto; padding: .75rem 1rem; display: flex; align-items: center; justify-content: space-between; gap: 1rem; }
.t-brand { display: inline-flex; align-items: center; gap: .55rem; color: var(--text); text-decoration: none; font-weight: 500; letter-spacing: .01em; }
.t-brand b { font-weight: 600; color: var(--accent); }
.t-open { color: #051e0f; background: var(--accent); text-decoration: none; font-size: .875rem; font-weight: 600; padding: .4rem .85rem; border-radius: 6px; white-space: nowrap; }
.t-open:hover { background: var(--mint); }

.t-layout { max-width: 72rem; margin: 0 auto; padding: 0 1rem; display: grid; grid-template-columns: minmax(0, 1fr); gap: 3rem; }
.t-toc { display: none; }
main { max-width: var(--measure); padding: 3rem 0 4rem; min-width: 0; }

h1 { font-size: 2.25rem; line-height: 1.15; letter-spacing: -.02em; font-weight: 650; margin: 0 0 .75rem; }
.t-meta { display: inline-block; margin: 0 0 2rem; padding: .2rem .65rem; border: 1px solid var(--line); border-radius: 999px; color: var(--muted); font-size: .875rem; }
h2 { font-size: 1.25rem; line-height: 1.3; letter-spacing: -.01em; font-weight: 600; margin: 3rem 0 1rem; padding-top: 1.25rem; border-top: 1px solid var(--line-soft); }
h3 { font-size: 1.05rem; margin: 2rem 0 .75rem; }
p, li { color: var(--text); }
p { margin: 0 0 1rem; }
ul, ol { margin: 0 0 1rem; padding-left: 1.4rem; }
li { margin: .3rem 0; }
li::marker { color: var(--dim); }
strong { color: #fff; font-weight: 600; }
#the-short-version + p + ul { background: var(--panel); border: 1px solid var(--line-soft); border-radius: 10px; padding: 1rem 1.25rem 1rem 2.4rem; }

.t-foot { border-top: 1px solid var(--line-soft); color: var(--dim); font-size: .875rem; }
.t-foot-in { max-width: 72rem; margin: 0 auto; padding: 1.5rem 1rem 2.5rem; display: flex; flex-wrap: wrap; gap: .5rem 1.5rem; }
.t-foot a { color: var(--muted); }

.placeholder { padding: 1rem; border: 2px dashed var(--line); border-radius: 8px; font-weight: 600; }

@media (min-width: 64rem) {
  .t-layout { grid-template-columns: 15rem minmax(0, var(--measure)); }
  .t-toc { display: block; position: sticky; top: 4.5rem; align-self: start; max-height: calc(100vh - 6rem); overflow-y: auto; padding: 3rem 0 2rem; }
  .t-toc-h { margin: 0 0 .75rem; color: var(--dim); font-size: .75rem; font-weight: 600; letter-spacing: .08em; text-transform: uppercase; }
  .t-toc ol { list-style: none; margin: 0; padding: 0; }
  .t-toc li { margin: 0; }
  .t-toc a { display: block; padding: .3rem 0 .3rem .75rem; border-left: 1px solid var(--line-soft); color: var(--muted); text-decoration: none; font-size: .875rem; line-height: 1.4; }
  .t-toc a:hover { color: var(--text); border-left-color: var(--accent); }
}
@media (max-width: 30rem) {
  h1 { font-size: 1.75rem; }
  .t-open { padding: .35rem .65rem; }
}
@media print {
  :root { color-scheme: light; --bg: #fff; --text: #111; --muted: #444; --dim: #666; --line: #ccc; --line-soft: #ddd; --panel: #f6f6f6; --mint: #0a5c2b; }
  .t-top, .t-toc, .t-foot { display: none; }
  .t-layout { display: block; }
  main { max-width: none; padding: 0; }
  strong { color: #000; }
  a { color: #0a5c2b; }
}