:root {
  --ink: #111;
  --muted: #555;
  --faint: #888;
  --line: #ddd;
  --paper: #fff;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  color: var(--ink);
  background: var(--paper);
  font-family: Charter, "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;
  font-size: 16.5px;
  line-height: 1.45;
}

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

main {
  max-width: 860px;
  margin: 0;
  padding: 28px 36px 54px;
}

header {
  margin-bottom: 34px;
}

h1 {
  margin: 0;
  font-size: 26px;
  line-height: 1;
}

.statement {
  max-width: 820px;
}

.statement p {
  margin: 0 0 18px;
}

.downloads {
  display: flex;
  flex-wrap: wrap;
  gap: 10px 18px;
  margin-top: 26px !important;
  font-size: 16px;
}

.archive {
  margin-top: 48px;
}

h2 {
  margin: 0 0 18px;
  font-size: 19px;
  font-weight: 700;
  line-height: 1;
}

ol {
  margin: 0;
  padding: 0;
  list-style: none;
}

li {
  display: flex;
  align-items: baseline;
  gap: 10px;
  padding: 5px 0;
  border-bottom: 1px solid var(--line);
}

.case-number {
  width: 38px;
  flex: 0 0 auto;
  color: var(--faint);
  font-size: 14px;
}

.case-name {
  min-width: 132px;
  font-weight: 700;
}

.case-note {
  flex: 1;
  color: var(--muted);
  font-size: 14px;
}

li a:not(.case-name) {
  color: var(--muted);
  font-size: 14px;
}

footer {
  margin-top: 34px;
  color: var(--muted);
  font-size: 14px;
}

.back-link {
  margin: -20px 0 28px;
  font-size: 15px;
}

.text-document {
  max-width: 980px;
  margin: 0;
  padding: 0 0 40px;
  border: 0;
  background: transparent;
  color: var(--ink);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace;
  font-size: 12px;
  line-height: 1.45;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

@media (max-width: 640px) {
  body {
    font-size: 16px;
  }

  main {
    padding: 22px 16px 42px;
  }

  header {
    margin-bottom: 28px;
  }

  li {
    align-items: flex-start;
    flex-direction: column;
    gap: 2px;
    padding: 9px 0;
  }

  .case-number,
  .case-name {
    width: auto;
    min-width: 0;
  }

  .case-note {
    font-size: 14px;
  }
}
