/* The application's own palette, so the documentation looks like the thing it
   documents. The values are `app/theme.py`'s, copied deliberately rather than
   generated: a page that fetched them would need a build step to be readable,
   and these move about once a year. */
:root {
  --bg-window: #151515;
  --bg-recess: #1a1a1a;
  --bg-panel: #242424;
  --bg-header: #2f2f2f;
  --bg-dropdown: #383838;
  --bg-hover: #575757;
  --border: #0f0f0f;
  --border-soft: #383838;
  --border-strong: #4c4c4c;
  --text: #c0c0c0;
  --text-bright: #ffffff;
  --text-dim: #808080;
  --text-disabled: #575757;
  --primary: #0070e0;
  --primary-hover: #0e86ff;
  --hot: #fe9b07;
  --green: #8bc24a;
  --unit: 4px;
  --radius: 4px;
  --sidebar: 260px;
  --font: Roboto, -apple-system, "Segoe UI", sans-serif;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}

* { box-sizing: border-box; }

html, body {
  margin: 0;
  padding: 0;
  background: var(--bg-window);
  color: var(--text);
  font-family: var(--font);
  font-size: 15px;
  line-height: 1.6;
}

a { color: var(--primary-hover); text-decoration: none; }
a:hover { text-decoration: underline; }

code, pre { font-family: var(--mono); font-size: 13px; }

code {
  background: var(--bg-recess);
  border: 1px solid var(--border-soft);
  border-radius: 3px;
  padding: 1px 5px;
  color: var(--text-bright);
}

pre {
  background: var(--bg-recess);
  border: 1px solid var(--border-soft);
  border-radius: var(--radius);
  padding: 14px 16px;
  overflow-x: auto;
  line-height: 1.5;
}

pre code { background: none; border: none; padding: 0; }

/* --- the frame ------------------------------------------------------- */

.shell { display: flex; min-height: 100vh; }

.sidebar {
  width: var(--sidebar);
  flex: 0 0 var(--sidebar);
  background: var(--bg-recess);
  border-right: 1px solid var(--border);
  padding: 20px 0 40px;
  position: sticky;
  top: 0;
  height: 100vh;
  overflow-y: auto;
}

.brand {
  padding: 0 20px 16px;
  display: flex;
  align-items: baseline;
  gap: 8px;
}

.brand h1 {
  font-size: 19px;
  letter-spacing: 0.14em;
  margin: 0;
  color: var(--text-bright);
  font-weight: 600;
}

.brand span { font-size: 11px; color: var(--text-dim); letter-spacing: 0.08em; }

.search {
  margin: 0 16px 18px;
  width: calc(100% - 32px);
  height: 30px;
  background: #0f0f0f;
  border: 1px solid var(--border-soft);
  border-radius: var(--radius);
  color: var(--text);
  padding: 0 10px;
  font-family: var(--font);
  font-size: 13px;
}
.search:hover { border-color: var(--border-strong); }
.search:focus { border-color: var(--primary); color: var(--text-bright); outline: none; }

.nav-group {
  padding: 12px 20px 4px;
  font-size: 10px;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--text-disabled);
}

.sidebar a.nav {
  display: block;
  padding: 5px 20px;
  color: var(--text);
  font-size: 13.5px;
  border-left: 2px solid transparent;
}
.sidebar a.nav:hover { background: var(--bg-header); text-decoration: none; }
.sidebar a.nav.here {
  border-left-color: var(--primary);
  background: var(--bg-panel);
  color: var(--text-bright);
}

.page {
  flex: 1 1 auto;
  min-width: 0;
  padding: 44px 56px 120px;
  max-width: 980px;
}

h2 {
  font-size: 27px;
  color: var(--text-bright);
  margin: 0 0 6px;
  font-weight: 600;
}

h3 {
  font-size: 19px;
  color: var(--text-bright);
  margin: 42px 0 6px;
  font-weight: 600;
}

h4 { font-size: 15px; color: var(--text-bright); margin: 26px 0 4px; }

.lead { color: var(--text-dim); font-size: 16px; margin: 0 0 28px; }

.rule { border: none; border-top: 1px solid var(--border-soft); margin: 36px 0; }

.note {
  border-left: 2px solid var(--hot);
  background: var(--bg-recess);
  padding: 10px 16px;
  margin: 20px 0;
  color: var(--text);
}

.note strong { color: var(--hot); }

table { border-collapse: collapse; width: 100%; margin: 18px 0; }
th, td {
  text-align: left;
  padding: 7px 12px;
  border-bottom: 1px solid var(--border-soft);
  font-size: 14px;
  vertical-align: top;
}
th { color: var(--text-dim); font-weight: 500; font-size: 11px;
     letter-spacing: 0.1em; text-transform: uppercase; width: 30%; }
/* Except code, which is a name and not a heading: `cmds.undo()` shouted as
   CMDS.UNDO() is a different identifier from the one you would type. */
th code { text-transform: none; letter-spacing: 0; font-size: 12.5px; }
th strong { text-transform: none; letter-spacing: 0; }

/* --- the reference --------------------------------------------------- */

.group { margin: 40px 0 0; }
.group > p { color: var(--text-dim); margin: 0 0 14px; }

.verb {
  border: 1px solid var(--border-soft);
  border-radius: var(--radius);
  background: var(--bg-panel);
  margin: 10px 0;
  overflow: hidden;
}

.verb > summary {
  cursor: pointer;
  padding: 9px 14px;
  display: flex;
  align-items: baseline;
  gap: 10px;
  list-style: none;
  background: var(--bg-panel);
}
.verb > summary::-webkit-details-marker { display: none; }
.verb > summary:hover { background: var(--bg-header); }
.verb[open] > summary { border-bottom: 1px solid var(--border-soft); }

.verb .name {
  font-family: var(--mono);
  font-size: 13.5px;
  color: var(--text-bright);
  white-space: nowrap;
}
.verb .name b { color: var(--primary-hover); font-weight: 600; }

.verb .first {
  color: var(--text-dim);
  font-size: 13px;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.verb .body { padding: 12px 14px 16px; }
.verb .body p { margin: 0 0 10px; }
.verb .body p:last-child { margin-bottom: 0; }
.verb .sig {
  font-family: var(--mono);
  font-size: 12.5px;
  color: var(--green);
  background: var(--bg-recess);
  border: 1px solid var(--border-soft);
  border-radius: 3px;
  padding: 7px 10px;
  margin: 0 0 12px;
  white-space: pre-wrap;
  word-break: break-word;
}

.decision {
  border: 1px solid var(--border-soft);
  border-radius: var(--radius);
  background: var(--bg-panel);
  margin: 8px 0;
  overflow: hidden;
}
.decision > summary {
  cursor: pointer;
  padding: 9px 14px;
  list-style: none;
  display: flex;
  gap: 12px;
  align-items: baseline;
}
.decision > summary::-webkit-details-marker { display: none; }
.decision > summary:hover { background: var(--bg-header); }
.decision .id {
  font-family: var(--mono);
  color: var(--hot);
  font-size: 13px;
  flex: 0 0 46px;
}
.decision .title { color: var(--text-bright); font-size: 14px; }
.decision .body { padding: 4px 14px 16px 72px; color: var(--text); font-size: 14px; }

.counts { display: flex; gap: 28px; margin: 22px 0 34px; flex-wrap: wrap; }
.count strong {
  display: block;
  font-size: 26px;
  color: var(--text-bright);
  font-weight: 600;
  line-height: 1.2;
}
.count span { color: var(--text-dim); font-size: 12px; }

.empty { color: var(--text-disabled); font-style: italic; }

@media (max-width: 860px) {
  .shell { flex-direction: column; }
  .sidebar { width: 100%; flex: none; height: auto; position: static; }
  .page { padding: 28px 22px 80px; }
}