/* mentistics commons — attestation paper */

:root {
  color-scheme: light;
  --paper: #f2f4f2;
  --paper-deep: #e9edea;
  --ink: #1c2624;
  --slate: #57676d;
  --verdigris: #2c6e60;
  --verdigris-dim: #4d8579;
  --oxide: #a34a3c;
  --banner-bg: #e3ebe6;
  --banner-edge: #b9cdc4;
  --rule: #ccd6d1;
  --oxide-wash: rgba(163, 74, 60, 0.07);
  --banner-code-bg: rgba(255, 255, 255, 0.55);
  --mono: "IBM Plex Mono", ui-monospace, monospace;
  --body: "Newsreader", georgia, serif;
  --display: "Spectral", georgia, serif;
}

/* night register — the same paper, read at low light */
html[data-theme="night"] {
  color-scheme: dark;
  --paper: #161c1a;
  --paper-deep: #121715;
  --ink: #d5dcd7;
  --slate: #92a29e;
  --verdigris: #64ac96;
  --verdigris-dim: #4d8579;
  --oxide: #cf7a66;
  --banner-bg: #1c2622;
  --banner-edge: #31423b;
  --rule: #293331;
  --oxide-wash: rgba(207, 122, 102, 0.1);
  --banner-code-bg: rgba(0, 0, 0, 0.35);
}

/* no-JS fallback: follow the OS unless a register was chosen */
@media (prefers-color-scheme: dark) {
  html:not([data-theme="day"]) {
    color-scheme: dark;
    --paper: #161c1a;
    --paper-deep: #121715;
    --ink: #d5dcd7;
    --slate: #92a29e;
    --verdigris: #64ac96;
    --verdigris-dim: #4d8579;
    --oxide: #cf7a66;
    --banner-bg: #1c2622;
    --banner-edge: #31423b;
    --rule: #293331;
    --oxide-wash: rgba(207, 122, 102, 0.1);
    --banner-code-bg: rgba(0, 0, 0, 0.35);
  }
}

* { box-sizing: border-box; }

html { background: var(--paper); }

body {
  margin: 0;
  color: var(--ink);
  font-family: var(--body);
  font-size: 1.06rem;
  line-height: 1.62;
  -webkit-font-smoothing: antialiased;
}

.shell {
  display: grid;
  grid-template-columns: 250px minmax(0, 1fr);
  min-height: 100vh;
}

/* ------------------------------------------------ sidebar */

.sidebar {
  border-right: 1px solid var(--rule);
  background: var(--paper-deep);
  padding: 1.6rem 1.3rem 2rem;
}

.wordmark { display: block; text-decoration: none; color: var(--ink); margin-bottom: 1.6rem; }
.wm-title {
  display: block;
  font-family: var(--display);
  font-weight: 600;
  font-size: 1.28rem;
  letter-spacing: 0.16em;
  text-transform: uppercase;
}
.wm-sub {
  display: block;
  font-family: var(--mono);
  font-size: 0.66rem;
  color: var(--slate);
  margin-top: 0.35rem;
  letter-spacing: 0.03em;
}

.nav-toggle { display: none; }

.register-toggle {
  display: inline-block;
  font-family: var(--mono);
  font-size: 0.62rem;
  text-transform: uppercase;
  letter-spacing: 0.18em;
  background: none;
  border: 1px solid var(--rule);
  border-radius: 3px;
  color: var(--slate);
  padding: 0.28rem 0.6rem;
  cursor: pointer;
  margin: -0.6rem 0 1.4rem;
}
.register-toggle:hover { color: var(--verdigris); border-color: var(--verdigris-dim); }

.nav-group { margin-bottom: 1.25rem; }
.nav-group h3 {
  font-family: var(--mono);
  font-size: 0.64rem;
  font-weight: 500;
  text-transform: uppercase;
  letter-spacing: 0.18em;
  color: var(--slate);
  margin: 0 0 0.45rem;
}
.nav-group ul { list-style: none; margin: 0; padding: 0; }
.nav-group li { margin: 0.28rem 0; font-size: 0.86rem; line-height: 1.35; }
.nav-group a { color: var(--ink); text-decoration: none; }
.nav-group a:hover { color: var(--verdigris); }
.nav-group li.active a { color: var(--verdigris); font-weight: 500; }
.nav-group.frontier a.redlink { font-size: 0.82rem; }

/* ------------------------------------------------ main column */

.page { padding: 3.2rem 3.4rem 4rem; }
article { max-width: 44rem; }

h1 {
  font-family: var(--display);
  font-weight: 500;
  font-size: 2.15rem;
  line-height: 1.15;
  margin: 0.2rem 0 1.4rem;
  letter-spacing: -0.01em;
}

h2 {
  font-family: var(--display);
  font-weight: 500;
  font-size: 1.28rem;
  margin: 2.4rem 0 0.7rem;
}

h2 span { color: var(--slate); font-size: 0.85em; }

p { margin: 0.85rem 0; }

strong { font-weight: 600; }

em { font-style: italic; }

code {
  font-family: var(--mono);
  font-size: 0.82em;
  background: var(--paper-deep);
  border: 1px solid var(--rule);
  border-radius: 3px;
  padding: 0.05em 0.32em;
}

/* links */
a.attested { color: var(--verdigris); text-decoration: none; border-bottom: 1px solid var(--banner-edge); }
a.attested:hover { border-bottom-color: var(--verdigris); }
a.redlink {
  color: var(--oxide);
  text-decoration: none;
  border-bottom: 1px dotted var(--oxide);
  cursor: help;
}
a.redlink:hover { background: var(--oxide-wash); }
.selflink { font-weight: 500; }

/* ------------------------------------------------ certification banner */

.banner {
  display: flex;
  gap: 1rem;
  align-items: flex-start;
  background: var(--banner-bg);
  border: 1px solid var(--banner-edge);
  border-left: 3px solid var(--verdigris);
  padding: 0.9rem 1.1rem;
  margin: 0 0 1.6rem;
  font-size: 0.88rem;
  line-height: 1.55;
}
.banner-seal {
  flex: 0 0 auto;
  color: var(--verdigris);
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 0.3rem;
  padding-top: 0.15rem;
}
.banner-word {
  font-family: var(--mono);
  font-size: 0.56rem;
  text-transform: uppercase;
  letter-spacing: 0.22em;
  color: var(--verdigris);
}
.banner-body p { margin: 0.4rem 0; }
.banner-body p:first-child { margin-top: 0; }
.banner code { background: var(--banner-code-bg); }

.banner.declined { border-left-color: var(--oxide); }
.banner.declined .banner-seal, .banner.declined .banner-word { color: var(--oxide); }

/* secondary scope notes (subsequent blockquotes) */
.note {
  border-left: 2px solid var(--rule);
  padding: 0.1rem 0 0.1rem 1rem;
  margin: 1.1rem 0 1.4rem;
  color: var(--slate);
  font-size: 0.92rem;
}
.note p { margin: 0.4rem 0; }

/* ------------------------------------------------ math */

.katex-display { margin: 1.3rem 0; overflow-x: auto; overflow-y: hidden; padding: 0.2rem 0; }
.katex { font-size: 1.02em; }

/* ------------------------------------------------ revision log */

.revlog {
  margin-top: 3rem;
  border-top: 1px solid var(--rule);
  padding-top: 1rem;
}
.revlog h2 {
  font-family: var(--mono);
  font-size: 0.68rem;
  font-weight: 500;
  text-transform: uppercase;
  letter-spacing: 0.18em;
  color: var(--slate);
  margin: 0 0 0.6rem;
}
.revlog p {
  font-family: var(--mono);
  font-size: 0.76rem;
  line-height: 1.75;
  color: var(--slate);
}

/* ------------------------------------------------ index page */

.front .lede {
  font-size: 1.14rem;
  color: var(--ink);
  font-style: italic;
  margin-bottom: 2.2rem;
}
.idx-group { margin: 1.8rem 0; }
.idx-group ul { list-style: none; margin: 0; padding: 0; }
.idx-group li { margin: 0.55rem 0; }
.idx-group .desc { display: block; color: var(--slate); font-size: 0.88rem; }
.idx-group.frontier ul.plain li { display: inline-block; margin-right: 1.4rem; }

.uncert p { max-width: 38rem; }

/* ------------------------------------------------ footer */

.colophon {
  margin-top: 4rem;
  border-top: 1px solid var(--rule);
  padding-top: 0.8rem;
  font-family: var(--mono);
  font-size: 0.68rem;
  color: var(--slate);
}

/* ------------------------------------------------ responsive */

@media (max-width: 860px) {
  .shell { grid-template-columns: 1fr; }
  .sidebar { border-right: none; border-bottom: 1px solid var(--rule); padding: 1rem 1.3rem; }
  .nav-toggle {
    display: inline-block;
    font-family: var(--mono);
    font-size: 0.7rem;
    text-transform: uppercase;
    letter-spacing: 0.16em;
    background: none;
    border: 1px solid var(--rule);
    border-radius: 3px;
    color: var(--slate);
    padding: 0.3rem 0.7rem;
    cursor: pointer;
  }
  .nav-groups { display: none; margin-top: 1rem; }
  .sidebar.open .nav-groups { display: block; }
  .page { padding: 1.8rem 1.3rem 3rem; }
  h1 { font-size: 1.7rem; }
}

@media (prefers-reduced-motion: reduce) {
  * { transition: none !important; }
}

:focus-visible { outline: 2px solid var(--verdigris); outline-offset: 2px; }