.multi-filter > span {
  display: block;
  color: var(--muted);
  font-size: 11px;
  font-weight: 700;
}
.multi-filter details { position: relative; margin-top: 6px; }
.multi-filter summary {
  box-sizing: border-box;
  width: 100%;
  padding: 9px 10px;
  color: var(--ink);
  background: white;
  border: 1px solid var(--line);
  border-radius: 4px;
  font-size: 13px;
  font-weight: 400;
  list-style-position: inside;
}
.check-options {
  position: absolute;
  z-index: 5;
  top: calc(100% + 4px);
  left: 0;
  width: max-content;
  min-width: 100%;
  max-height: 270px;
  overflow: auto;
  padding: 8px;
  background: white;
  border: 1px solid var(--line);
  border-radius: 4px;
  box-shadow: 0 8px 20px rgba(24, 44, 38, .12);
}
.check-options label {
  display: flex;
  align-items: center;
  gap: 7px;
  padding: 6px 8px;
  white-space: nowrap;
  color: var(--ink);
  font-size: 12px;
  font-weight: 500;
}
.check-options input { display: inline-block; width: auto; margin: 0; padding: 0; }
.check-options label:hover { background: var(--greensoft); }
.check-actions { padding: 2px 8px 7px; border-bottom: 1px solid var(--line); margin-bottom: 4px; }
.check-actions button { padding: 0; color: var(--green); background: transparent; border: 0; font-size: 12px; font-weight: 700; }
.check-actions button:hover { text-decoration: underline; text-underline-offset: 2px; }
.filter-grid .boolean-filter {
  display: flex;
  align-items: center;
  gap: 8px;
  min-height: 34px;
  color: var(--ink);
  font-size: 12px;
}
.filter-grid .boolean-filter input { display: inline-block; width: auto; margin: 0; }
.boolean-filter span { color: var(--muted); font-size: 11px; font-weight: 500; }
.docid,
.family h2 {
  font-family: ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  font-variant-numeric: lining-nums tabular-nums;
  letter-spacing: -.025em;
}
.family > .eyebrow { font-size: 13px; }
.official-summary p strong { font-weight: 700; }
.status > .copy-link { display: block; width: max-content; }
.change-added,
.change-legend .legend-added { font-style: normal; }
.change-added {
  text-decoration-color: #397765;
  text-decoration-thickness: 2px;
  text-underline-offset: 3px;
}
footer #random-bill {
  padding: 0;
  color: var(--muted);
  background: transparent;
  border: 0;
  font: inherit;
}
footer #random-bill:hover { color: var(--green); text-decoration: underline; }
.text-title-button {
  padding: 0;
  color: var(--green);
  background: transparent;
  border: 0;
  font: 700 20px Georgia, serif;
  text-align: left;
}
.text-title-button:hover { text-decoration: underline; text-underline-offset: 3px; }