:root {
  --ink: #111;
  --paper: #ffffff;
  --line: #e5e5e5;
  --wash: #f4f4f4;
  --muted: #6b6b6b;
  --faint: #9a9a9a;
  --link: #1f3d7a;
  --link-hover: #14284f;
  --serif: "Century Schoolbook", "Century Schoolbook L", "New Century Schoolbook", Georgia, serif;
  --wordmark: "Iowan Old Style", "Palatino Linotype", Palatino, "Book Antiqua", Georgia, serif;
  --mono: ui-monospace, "SF Mono", Menlo, monospace;
}

* {
  box-sizing: border-box;
}

html {
  font-size: 16px;
}

body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--serif);
  line-height: 1.55;
  -webkit-font-smoothing: antialiased;
}

a {
  color: var(--link);
  text-decoration-thickness: 1px;
  text-underline-offset: 2px;
}

a:hover {
  color: var(--link-hover);
}

/* Header ------------------------------------------------------------------ */

.site-header {
  position: sticky;
  top: 0;
  z-index: 30;
  display: flex;
  align-items: baseline;
  flex-wrap: wrap;
  gap: 0.35rem 1.25rem;
  padding: 0.7rem 1.5rem;
  background: rgba(255, 255, 255, 0.97);
  border-bottom: 1px solid var(--line);
  backdrop-filter: blur(6px);
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  font-family: var(--wordmark);
  font-size: 1rem;
  font-weight: 600;
  letter-spacing: 0.045em;
  text-decoration: none;
  color: var(--ink);
  white-space: nowrap;
}

.brand:hover {
  color: var(--ink);
}

.brand .logomark {
  flex: none;
}

.brand-text {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  line-height: 1.05;
}

.brand-tagline {
  display: block;
  font-size: 0.55rem;
  font-weight: 400;
  letter-spacing: 0.02em;
  line-height: 1.2;
  opacity: 0.6;
}

.header-title {
  font-size: 1rem;
}

.header-title a {
  text-decoration: none;
}

.header-meta {
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.06em;
  color: var(--muted);
}

.search {
  margin-left: auto;
}

.search input {
  font-family: var(--mono);
  font-size: 0.72rem;
  letter-spacing: 0.04em;
  padding: 0.3rem 0.1rem;
  border: none;
  border-bottom: 1px solid var(--line);
  border-radius: 0;
  background: transparent;
  min-width: 14rem;
  color: var(--ink);
}

.search input:focus {
  outline: none;
  border-bottom-color: var(--ink);
}

.search input::placeholder {
  color: var(--faint);
}

/* Layout ------------------------------------------------------------------ */

main {
  max-width: 70ch;
  margin: 0 auto;
  padding: 2rem 1.5rem 5rem;
}

main.home {
  max-width: none;
  padding: 0 0 4.5rem;
}

main.wide {
  max-width: 96rem;
}

h1 {
  font-family: var(--serif);
  font-weight: 600;
  line-height: 1.2;
  margin: 0 0 0.4rem;
}

.lede {
  color: var(--muted);
  max-width: 60ch;
}

.meta {
  color: var(--muted);
  font-size: 0.9rem;
}

/* Landing: graph ---------------------------------------------------------- */

.graph-panel {
  border-bottom: 1px solid var(--line);
}

.graph-toolbar {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 0.5rem 1rem;
  padding: 0.55rem 1.5rem;
  border-bottom: 1px solid var(--line);
}

.graph-search {
  position: relative;
  flex: 1 1 16rem;
  max-width: 26rem;
}

.graph-search input {
  width: 100%;
  font-family: var(--mono);
  font-size: 0.72rem;
  letter-spacing: 0.04em;
  padding: 0.35rem 0.1rem;
  border: none;
  border-bottom: 1px solid var(--line);
  border-radius: 0;
  background: transparent;
  color: var(--ink);
}

.graph-search input:focus {
  outline: none;
  border-bottom-color: var(--ink);
}

.graph-search input::placeholder {
  color: var(--faint);
}

.graph-search-results {
  position: absolute;
  z-index: 35;
  top: calc(100% + 0.25rem);
  left: 0;
  right: 0;
  list-style: none;
  margin: 0;
  padding: 0;
  background: var(--paper);
  border: 1px solid var(--ink);
  box-shadow: 4px 4px 0 rgba(0, 0, 0, 0.08);
  max-height: 18rem;
  overflow-y: auto;
}

.graph-search-results[hidden] {
  display: none;
}

.graph-search-item {
  display: flex;
  align-items: baseline;
  gap: 0.5rem;
  width: 100%;
  text-align: left;
  font-family: var(--serif);
  font-size: 0.85rem;
  padding: 0.4rem 0.6rem;
  border: none;
  border-bottom: 1px solid var(--line);
  background: none;
  color: var(--ink);
  cursor: pointer;
}

.graph-search-item:hover,
.graph-search-item:focus {
  background: var(--wash);
  outline: none;
}

.graph-search-code {
  font-family: var(--mono);
  font-size: 0.66rem;
  color: var(--muted);
  flex: none;
}

.graph-search-title {
  min-width: 0;
}

.graph-search-kind {
  flex: none;
  font-family: var(--mono);
  font-size: 0.58rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--muted);
  border: 1px solid var(--line);
  padding: 0 0.3rem;
}

.graph-search-empty {
  font-family: var(--mono);
  font-size: 0.68rem;
  color: var(--muted);
  padding: 0.5rem 0.6rem;
}

.graph-kinds {
  display: flex;
  gap: 0.4rem;
}

.graph-kind {
  position: relative;
  display: inline-flex;
  align-items: center;
  gap: 0.3rem;
  font-family: var(--mono);
  font-size: 0.64rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--muted);
  border: 1px solid var(--line);
  padding: 0.25rem 0.55rem;
  cursor: pointer;
  user-select: none;
}

.graph-kind:has(input:checked) {
  color: var(--ink);
  border-color: var(--ink);
}

.graph-kind input {
  position: absolute;
  opacity: 0;
  pointer-events: none;
}

.graph-kind .kind-swatch {
  width: 0.55rem;
  height: 0.55rem;
  border-radius: 50%;
  border: 1px solid var(--ink);
  display: inline-block;
}

.kind-swatch-act {
  background: #111111;
}

.kind-swatch-regulation {
  background: #ffffff;
}

.kind-swatch-constitution {
  background: #1f3d7a;
  border-color: #1f3d7a;
}

.kind-swatch-case {
  background: #8f8f8f;
  border-color: #8f8f8f;
}

.cited-by details {
  margin-top: 0.6rem;
}

.cited-by details summary {
  cursor: pointer;
  font-family: var(--mono);
  font-size: 0.72rem;
  text-transform: uppercase;
  letter-spacing: 0.04em;
}

.cited-by details .cited-by-list {
  max-height: 22rem;
  overflow: auto;
}

.graph-step {
  display: inline-flex;
}

.graph-step-btn {
  font-family: var(--mono);
  font-size: 0.8rem;
  line-height: 1;
  width: 1.9rem;
  height: 1.6rem;
  border: 1px solid var(--ink);
  border-radius: 0;
  background: var(--ink);
  color: var(--paper);
  cursor: pointer;
}

.graph-step-btn + .graph-step-btn {
  border-left: 0;
}

.graph-step-btn:hover:not(:disabled) {
  background: var(--link);
  border-color: var(--link);
}

.graph-step-btn:disabled {
  opacity: 0.35;
  cursor: default;
}

.graph-status {
  margin-left: auto;
  font-family: var(--mono);
  font-size: 0.64rem;
  letter-spacing: 0.06em;
  color: var(--muted);
}

.graph-canvas {
  position: relative;
  height: 60vh;
  min-height: 320px;
  overflow: hidden;
  background: var(--paper);
}

#graph {
  display: block;
  width: 100%;
  height: 100%;
  touch-action: pan-y;
  cursor: pointer;
}

.graph-tooltip {
  position: fixed;
  z-index: 40;
  transform: translate(-50%, -100%);
  pointer-events: none;
  max-width: 20rem;
  padding: 0.55rem 0.7rem;
  background: var(--paper);
  border: 1px solid var(--ink);
  box-shadow: 4px 4px 0 rgba(0, 0, 0, 0.08);
}

.graph-tooltip[hidden] {
  display: none;
}

.graph-tooltip-title {
  font-size: 0.9rem;
  line-height: 1.3;
}

.graph-tooltip-meta,
.graph-tooltip-hint {
  font-family: var(--mono);
  font-size: 0.64rem;
  letter-spacing: 0.06em;
  margin-top: 0.25rem;
}

.graph-tooltip-meta {
  color: var(--muted);
}

.graph-tooltip-hint {
  color: var(--faint);
}

/* Landing: search, stats, index ------------------------------------------- */

.home-search {
  display: flex;
  justify-content: center;
  padding: 2.5rem 1.5rem 0;
}

.home-search input {
  width: min(40rem, 100%);
  font-family: var(--mono);
  font-size: 1rem;
  letter-spacing: 0.02em;
  padding: 0.85rem 0.25rem;
  border: 1px solid var(--ink);
  border-radius: 0;
  background: transparent;
  color: var(--ink);
}

.home-search input::placeholder {
  color: var(--faint);
}

.home-search input:focus {
  outline: none;
  box-shadow: 2px 2px 0 rgba(0, 0, 0, 0.08);
}

.home-stats {
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.08em;
  color: var(--muted);
  text-align: center;
  margin: 0.9rem 0 0;
}

/* Landing: browse panel --------------------------------------------------- */

.browse {
  max-width: 44rem;
  margin: 3rem auto 0;
  padding: 0 1.5rem;
}

.browse-tabs {
  display: flex;
  gap: 0.4rem;
  border-bottom: 1px solid var(--ink);
  margin-bottom: 1rem;
}

.browse-tab {
  font-family: var(--mono);
  font-size: 0.7rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  text-decoration: none;
  color: var(--muted);
  padding: 0.55rem 0.85rem;
  border: 1px solid transparent;
  border-bottom: none;
  margin-bottom: -1px;
}

.browse-tab:hover {
  color: var(--ink);
}

.browse-tab.is-active {
  color: var(--ink);
  background: var(--paper);
  border-color: var(--ink);
}

.letter-jump,
.chip-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem;
  margin: 0.75rem 0 1rem;
}

.letter,
.chip {
  font-family: var(--mono);
  font-size: 0.66rem;
  letter-spacing: 0.05em;
  text-decoration: none;
  color: var(--ink);
  border: 1px solid var(--line);
  padding: 0.2rem 0.45rem;
}

.letter:hover,
.chip:hover {
  border-color: var(--ink);
}

.letter.is-active,
.chip.is-active {
  background: var(--ink);
  border-color: var(--ink);
  color: var(--paper);
}

.letter.is-empty {
  color: var(--line);
  border-color: var(--line);
}

.letter-count,
.chip-count {
  margin-left: 0.3rem;
  font-size: 0.58rem;
  opacity: 0.65;
}

.chip-row-years .chip {
  border-style: dashed;
}

.statute-index {
  list-style: none;
  margin: 1rem 0 0;
  padding: 0;
}

.statute-index li {
  padding: 0.6rem 0;
  border-bottom: 1px solid var(--line);
}

.statute-index li:first-child {
  border-top: 1px solid var(--line);
}

.statute-index a {
  text-decoration: none;
}

.statute-index a:hover {
  text-decoration: underline;
}

.statute-index .year-heading {
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.12em;
  color: var(--muted);
  border-bottom-color: var(--ink);
  padding-bottom: 0.25rem;
  margin-top: 1.25rem;
}

.index-code {
  font-family: var(--mono);
  font-size: 0.66rem;
  letter-spacing: 0.04em;
  color: var(--faint);
  margin-left: 0.4rem;
}

.index-meta {
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.04em;
  color: var(--muted);
  margin-left: 0.35rem;
}

.pagination {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  margin-top: 1.5rem;
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.06em;
}

.pagination-link {
  text-decoration: none;
}

.pagination-link.is-disabled {
  color: var(--line);
}

.page-of {
  color: var(--muted);
}

/* Footer ------------------------------------------------------------------ */

.site-footer {
  border-top: 1px solid var(--line);
  padding: 1.5rem;
  text-align: center;
}

.footer-note {
  font-family: var(--mono);
  font-size: 0.66rem;
  letter-spacing: 0.06em;
  color: var(--muted);
  margin: 0;
}

.footer-disclaimer {
  font-family: var(--mono);
  font-size: 0.62rem;
  letter-spacing: 0.04em;
  color: var(--muted);
  margin: 0.4rem 0 0;
}

/* Continuous instrument layout -------------------------------------------- */

.instrument-header {
  border-bottom: 1px solid var(--line);
  padding-bottom: 1.25rem;
}

.instrument-heading {
  margin: 0 0 0.35rem;
}

.instrument-heading .code {
  font-family: var(--mono);
  font-size: 0.75em;
  letter-spacing: 0.06em;
  color: var(--muted);
}

.instrument-layout {
  display: grid;
  grid-template-columns: minmax(17rem, 21rem) minmax(0, 1fr);
  gap: 2.5rem;
  align-items: start;
  margin-top: 1.75rem;
}

.instrument-body {
  min-width: 0;
  max-width: 74ch;
}

/* Sidebar table of contents ----------------------------------------------- */

.toc-side {
  position: sticky;
  top: 4.2rem;
  max-height: calc(100vh - 5.2rem);
  overflow-y: auto;
  background: var(--paper);
  border: 1px solid var(--line);
  padding: 0.4rem 0.75rem 0.75rem;
  font-size: 0.85rem;
}

.toc-side > summary {
  cursor: pointer;
  font-family: var(--mono);
  font-size: 0.66rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--muted);
  padding: 0.3rem 0.2rem;
  display: flex;
  justify-content: space-between;
  align-items: center;
  list-style: none;
}

.toc-side > summary::-webkit-details-marker {
  display: none;
}

.toc-side > summary::after {
  content: "−";
  font-size: 0.8rem;
  letter-spacing: 0;
}

.toc-side:not([open]) > summary::after {
  content: "+";
}

.toc-branch {
  margin: 0.1rem 0;
}

.toc-branch > summary {
  cursor: pointer;
  font-family: var(--mono);
  font-size: 0.64rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--link);
  padding: 0.45rem 0.2rem 0.2rem;
  display: flex;
  justify-content: space-between;
  align-items: center;
  list-style: none;
}

.toc-branch > summary::-webkit-details-marker {
  display: none;
}

.toc-branch > summary::after {
  content: "−";
  font-size: 0.8rem;
  color: var(--muted);
  letter-spacing: 0;
}

.toc-branch:not([open]) > summary::after {
  content: "+";
}

.toc-branch > summary a {
  color: inherit;
  text-decoration: none;
}

.toc-branch > summary a:hover {
  text-decoration: underline;
}

.toc-children {
  margin-left: 0.55rem;
  border-left: 1px solid var(--line);
  padding-left: 0.45rem;
}

.toc-group {
  display: block;
  font-family: var(--mono);
  font-size: 0.64rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--link);
  text-decoration: none;
  border-bottom: 1px solid var(--line);
  padding: 0.65rem 0.2rem 0.25rem;
  margin-top: 0.4rem;
}

.toc-list {
  list-style: none;
  margin: 0;
  padding: 0;
}

.toc-list li a {
  display: flex;
  gap: 0.5rem;
  padding: 0.2rem 0.3rem;
  text-decoration: none;
}

.toc-list li a:hover {
  background: var(--wash);
}

.toc-list .cite {
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--muted);
  min-width: 3.4rem;
}

.toc-list .note {
  color: inherit;
}

@media (max-width: 900px) {
  .instrument-layout {
    display: block;
  }

  .instrument-body {
    max-width: none;
  }

  .toc-side {
    position: static;
    max-height: none;
    margin-bottom: 1.5rem;
  }
}

/* Node blocks ------------------------------------------------------------- */

.node,
.node-heading,
.anchor {
  scroll-margin-top: 4.5rem;
}

.node {
  margin: 0.45rem 0 0.45rem calc(var(--depth, 0) * 1.05rem);
  padding-left: 0.75rem;
  border-left: 1px solid transparent;
}

.node:not([data-depth="0"]) {
  border-left-color: var(--line);
}

.node-section {
  margin-top: 1.9rem;
  margin-bottom: 0.9rem;
  padding-top: 0.2rem;
}

.node-head {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  gap: 0.15rem 0.5rem;
}

.node-cite {
  font-family: var(--mono);
  font-size: 0.78rem;
  font-weight: 600;
  letter-spacing: 0.02em;
  color: var(--link);
  text-decoration: none;
}

.node-cite:hover {
  color: var(--link-hover);
  text-decoration: underline;
}

.node-section > .node-head .node-cite {
  font-size: 0.9rem;
}

.node-note {
  font-family: var(--serif);
  font-style: italic;
  color: var(--muted);
  font-size: 0.92rem;
}

.node-text {
  font-family: var(--serif);
  font-size: 1rem;
  margin: 0.2rem 0 0.5rem;
}

.node-text.repealed-line {
  color: var(--muted);
  font-style: italic;
}

.node-text p {
  margin: 0.35rem 0;
}

.node-text p.proclamation {
  margin: 0.7rem 0 0.7rem 1.4rem;
  padding-left: 0.85rem;
  border-left: 2px solid var(--line);
  font-size: 0.92rem;
  font-style: normal;
}

.node-language .node-text {
  font-size: 0.85rem;
  color: var(--muted);
}

.node.continuation > .node-text {
  margin-top: 0;
}

.node:target {
  background: var(--wash);
  border-left-color: var(--ink);
}

.node-heading {
  font-family: var(--serif);
  margin: 2.4rem 0 0.6rem;
  padding-bottom: 0.3rem;
  border-bottom: 1px solid var(--line);
}

h2.node-heading {
  font-size: 1.15rem;
  font-weight: 700;
  letter-spacing: 0.01em;
}

h3.node-heading {
  font-size: 0.95rem;
  font-weight: 400;
  font-style: italic;
  color: var(--muted);
}

.node-heading .anchor-link {
  color: inherit;
  text-decoration: none;
}

.node-heading:target,
.node-heading:target .anchor-link {
  background: var(--wash);
}

.anchor {
  display: block;
  height: 0;
  overflow: hidden;
}

.stub {
  color: var(--muted);
  border-bottom: 1px dotted var(--muted);
  cursor: help;
}

/* Search ------------------------------------------------------------------ */

.search-page {
  display: flex;
  gap: 0;
  margin: 1.5rem 0 2rem;
}

.search-page input {
  flex: 1;
  font-family: var(--mono);
  font-size: 0.9rem;
  padding: 0.7rem 0.75rem;
  border: 1px solid var(--ink);
  border-right: none;
  border-radius: 0;
  background: transparent;
  color: var(--ink);
}

.search-page input:focus {
  outline: none;
}

.search-page input::placeholder {
  color: var(--faint);
}

.search-page button {
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  padding: 0 1.25rem;
  border: 1px solid var(--ink);
  border-radius: 0;
  background: var(--ink);
  color: var(--paper);
  cursor: pointer;
}

.marginal {
  font-family: var(--serif);
  font-style: italic;
  color: var(--muted);
}

.search-group-heading {
  margin: 2rem 0 0;
  font-family: var(--mono);
  font-size: 0.7rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--muted);
}

.results {
  list-style: none;
  margin: 1.5rem 0 0;
  padding: 0;
}

.search-group-heading + .results {
  margin-top: 0.5rem;
}

.results li {
  padding: 0.8rem 0;
  border-bottom: 1px solid var(--line);
}

.result-cite {
  font-family: var(--mono);
  font-size: 0.8rem;
  letter-spacing: 0.02em;
  text-decoration: none;
}

.result-cite:hover {
  text-decoration: underline;
}

.result-title {
  margin-left: 0.6rem;
  text-decoration: none;
}

.result-title:hover {
  text-decoration: underline;
}

.results .marginal {
  display: inline;
  margin-left: 0.6rem;
  font-size: 0.9rem;
}

.snippet {
  font-family: var(--serif);
  margin: 0.35rem 0 0;
}

/* Inline links and hover cards -------------------------------------------- */

a.ref {
  color: var(--link);
  text-decoration: underline;
  text-decoration-style: dotted;
  text-decoration-thickness: 1px;
  text-underline-offset: 2px;
  background: var(--wash);
  padding: 0 0.1em;
}

a.ref:hover,
a.ref:focus {
  color: var(--link-hover);
  text-decoration-style: solid;
  background: var(--line);
}

.hover-host {
  position: fixed;
  z-index: 100;
  max-width: 24rem;
  pointer-events: auto;
}

.hover-card {
  background: var(--paper);
  border: 1px solid var(--line);
  box-shadow: 0 10px 30px rgba(0, 0, 0, 0.12);
  padding: 0.7rem 0.85rem;
  font-size: 0.9rem;
  max-height: min(60vh, 560px);
  overflow-y: auto;
  overscroll-behavior: contain;
  scrollbar-width: thin;
  overflow-wrap: anywhere;
}

.hover-card::-webkit-scrollbar {
  width: 6px;
}

.hover-card::-webkit-scrollbar-thumb {
  background: var(--line);
  border-radius: 3px;
}

.hover-head {
  display: flex;
  align-items: baseline;
  gap: 0.4rem;
  margin-bottom: 0.25rem;
}

.hover-cite {
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.06em;
  color: var(--muted);
}

.hover-note {
  font-family: var(--serif);
  font-style: italic;
  margin-bottom: 0.35rem;
}

.case-hover-card .hover-para {
  margin: 0.35rem 0;
}

.hover-para-target {
  background: var(--wash);
  border-left: 2px solid var(--link);
  padding-left: 0.45rem;
  margin-left: -0.45rem;
}

.frag-node {
  margin: 0.35rem 0 0.35rem calc(min(var(--depth, 0), 6) * 0.55rem);
}

.frag-node.continuation {
  margin-top: 0;
}

.frag-cite {
  display: inline-block;
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.03em;
  overflow-wrap: anywhere;
}

.hover-card a.frag-cite {
  color: var(--link);
  background: none;
  text-decoration: none;
}

.hover-card a.frag-cite:hover {
  color: var(--link-hover);
  text-decoration: underline;
}

.frag-text {
  font-family: var(--serif);
  font-size: 1rem;
  margin: 0.15rem 0 0;
}

.frag-text p {
  margin: 0.35rem 0;
}

.frag-text p.proclamation {
  margin: 0.7rem 0 0.7rem 1.1rem;
  padding-left: 0.8rem;
  border-left: 2px solid var(--line);
  font-size: 0.92rem;
}

.frag-node.repealed .frag-text,
.frag-text.repealed-line {
  color: var(--muted);
  font-style: italic;
}

.frag-heading {
  font-family: var(--serif);
  font-size: 0.95rem;
  font-style: italic;
  color: var(--muted);
  margin: 0.6rem 0 0.25rem calc(min(var(--depth, 0), 6) * 0.55rem);
}

.frag-truncated {
  font-family: var(--mono);
  font-size: 0.68rem;
  margin: 0.5rem 0;
}

.hover-open {
  display: inline-block;
  font-family: var(--mono);
  font-size: 0.66rem;
  letter-spacing: 0.06em;
  text-decoration: none;
  margin-top: 0.4rem;
}

.hover-open:hover {
  text-decoration: underline;
}

@media (max-width: 640px) {
  html {
    font-size: 15px;
  }

  .search input {
    min-width: 8rem;
  }
}

/* Language switcher -------------------------------------------------------- */

.lang-switch {
  margin-left: auto;
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.08em;
  white-space: nowrap;
}

.search + .lang-switch {
  margin-left: 0;
}

.lang-switch a {
  color: var(--muted);
  text-decoration: none;
}

.lang-switch a:hover {
  color: var(--ink);
  text-decoration: underline;
}

.lang-switch .lang-active {
  color: var(--ink);
  font-weight: 600;
}

.lang-switch .lang-sep {
  color: var(--line);
  margin: 0 0.25rem;
}

/* Not-in-force marker ------------------------------------------------------ */

.node-flag {
  font-family: var(--mono);
  font-size: 0.62rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--muted);
  border: 1px solid var(--line);
  padding: 0 0.25rem;
  margin-left: 0.4rem;
}

/* Hover-card back control -------------------------------------------------- */

.hover-back {
  flex: none;
  font-family: var(--mono);
  font-size: 0.74rem;
  line-height: 1;
  color: var(--muted);
  background: none;
  border: none;
  padding: 0 0.15rem;
  cursor: pointer;
}

.hover-back:hover {
  color: var(--ink);
}

/* Caselaw ----------------------------------------------------------------- */

.cited-by {
  margin: 1.25rem 0 0;
  padding: 0.85rem 1.1rem;
  border: 1px solid var(--line);
  background: var(--wash);
}

.cited-by h2 {
  margin: 0 0 0.45rem;
  font-family: var(--mono);
  font-size: 0.7rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--muted);
}

.cited-by-list {
  list-style: none;
  margin: 0;
  padding: 0;
}

.cited-by-list li {
  padding: 0.28rem 0;
  border-bottom: 1px solid var(--line);
}

.cited-by-list li:last-child {
  border-bottom: none;
}

.cited-by-list .cited-cite {
  font-family: var(--mono);
  font-size: 0.78rem;
  margin-left: 0.5rem;
}

.cited-by-list .cited-meta,
.cited-by-list .cited-pinpoint {
  margin-left: 0.5rem;
  font-size: 0.85rem;
  color: var(--muted);
}

.cited-unavailable {
  margin: 0.45rem 0 0;
  font-size: 0.85rem;
  font-style: italic;
  color: var(--muted);
}

.case-header {
  margin-bottom: 1.5rem;
}

.case-kicker {
  font-family: var(--mono);
  font-size: 0.72rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  margin: 0 0 0.5rem;
}

.case-meta > span {
  margin-right: 0.9rem;
}

.lang-badge {
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  border: 1px solid var(--line);
  padding: 0.08rem 0.4rem;
  color: var(--muted);
}

.case-body {
  max-width: 46rem;
}

.case-para {
  margin: 0 0 1.1rem;
}

.para-num {
  font-family: var(--mono);
  font-size: 0.7rem;
  color: var(--faint);
  margin-right: 0.55rem;
  user-select: none;
}

sup.fn-ref {
  font-size: 0.65em;
  color: var(--muted);
}

.cite-unavailable {
  color: var(--muted);
  border-bottom: 1px dotted var(--muted);
  cursor: help;
}

.cite-note {
  font-size: 0.82rem;
  font-style: italic;
  margin-left: 0.3rem;
}

.cases-index .result-title {
  margin-left: 0.6rem;
}

/* Case page: metadata block, part headings, TOC and cited lists ----------- */

.case-heading {
  margin: 0 0 0.5rem;
}

.case-detail {
  margin: 0.15rem 0;
}

.case-label {
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--muted);
  margin-right: 0.35rem;
}

.case-toc-item {
  display: block;
  padding: 0.24rem 0.3rem;
  text-decoration: none;
  line-height: 1.35;
}

.case-toc-item:hover {
  background: var(--wash);
}

.case-toc-item.toc-level-2 {
  padding-left: 1rem;
  font-size: 0.96em;
}

.case-toc-item.toc-level-3 {
  padding-left: 1.8rem;
  font-size: 0.94em;
  color: var(--muted);
}

.case-toc-item.toc-level-4,
.case-toc-item.toc-level-5 {
  padding-left: 2.5rem;
  font-size: 0.92em;
  color: var(--muted);
}

.case-section {
  scroll-margin-top: 4.5rem;
  margin: 1.8rem 0 0.6rem;
}

.case-section.level-1 {
  border-bottom: 1px solid var(--line);
  padding-bottom: 0.2rem;
}

.case-section.level-3,
.case-section.level-4,
.case-section.level-5 {
  font-size: 1em;
}

.case-para {
  scroll-margin-top: 4.5rem;
}

.fn-ref a {
  text-decoration: none;
}

.case-footnotes {
  margin-top: 2rem;
  border-top: 1px solid var(--line);
  padding-top: 0.6rem;
  font-size: 0.9rem;
}

.case-footnotes h2 {
  margin: 0 0 0.45rem;
  font-family: var(--mono);
  font-size: 0.7rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--muted);
}

.case-footnote-list {
  list-style: none;
  margin: 0;
  padding: 0;
}

.case-footnote-list li {
  margin: 0 0 0.4rem;
  scroll-margin-top: 4.5rem;
}

.case-footnote-list .fn-num {
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--muted);
  margin-right: 0.3rem;
}

.case-cited-cases,
.case-cited-legislation {
  margin-top: 1.75rem;
}

.cited-paras {
  margin-left: 0.5rem;
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--muted);
}

.cited-paras a {
  color: inherit;
}