/* One application shell for search, the library, and both source views. */
:root {
  color-scheme: light;
  --navy: #173052;
  --blue: #2456d9;
  --muted: #596b83;
  --line: #d8e1ed;
  background: #fff;
}
a {
  color: var(--blue);
  text-underline-offset: 3px;
}
.topbar {
  position: sticky;
  top: 0;
  z-index: 5;
  min-height: 64px;
  gap: 28px;
  padding: 12px 32px;
}
.brand {
  font-size: 21px;
}
.product-nav {
  gap: 4px;
  margin: 0;
}
.product-nav button {
  padding: 9px 16px;
  font-size: 13px;
}
.topbar > .actions {
  width: auto;
  flex: none;
  margin-left: auto;
}
.topbar .button {
  padding: 9px 14px;
  font-size: 13px;
}
.catalog,
.library {
  max-width: 1440px;
  padding: 28px 32px;
}
.screen-heading {
  margin-bottom: 24px;
}
.catalog .screen-heading h1,
.library .screen-heading h1 {
  font: 650 27px/1.3 -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  letter-spacing: -.5px;
  margin: 0 0 8px;
}
.screen-heading > p {
  font-size: 14px;
  line-height: 1.6;
  color: var(--muted);
  margin: 0;
  max-width: 75ch;
}
.screen-heading > .coverage {
  font-size: 12px;
  margin-top: 12px;
}
.catalog-form {
  padding: 16px;
  border-radius: 6px;
}
.catalog-query input {
  font-size: 16px;
}
.catalog-summary {
  padding: 12px 0;
}
.hit-text {
  max-width: 90ch;
}
.reader-navigation {
  position: sticky;
  top: 64px;
  z-index: 4;
  background: white;
  border-bottom: 1px solid var(--line);
  display: flex;
  align-items: center;
  gap: 16px;
  padding: 14px 28px;
  max-width: 1440px;
  margin: auto;
}
#reading-screen {
  scroll-margin-top: 64px;
}
.reader-navigation button {
  font-size: 12px;
}
#reader-context {
  flex: 1;
  color: var(--muted);
  font-size: 12px;
}
#workbench {
  min-height: calc(100dvh - 124px);
}
#filing-rail {
  scroll-margin-top: 124px;
}
.sample-button {
  margin: 0 0 12px;
  font-size: 12px;
}
.diagnostics {
  margin-top: 24px;
  color: var(--muted);
  font-size: 11px;
}
.diagnostics footer {
  margin-top: 8px;
}
#catalog-evidence {
  top: 80px;
  max-height: calc(100dvh - 96px);
}
@media (max-width: 700px) {
  .topbar {
    gap: 12px;
    padding: 12px 16px;
  }
  .product-nav {
    order: 3;
    width: 100%;
    margin: 0;
  }
  .product-nav button {
    flex: 1;
    font-size: 13px;
  }
  .catalog,
  .library {
    padding: 24px 16px;
  }
  .screen-heading {
    margin-bottom: 20px;
  }
  .catalog .screen-heading h1,
  .library .screen-heading h1 {
    font-size: 24px;
  }
  .reader-navigation {
    top: 108px;
    padding: 12px 16px;
  }
  #reading-screen {
    scroll-margin-top: 112px;
  }
  #filing-rail {
    scroll-margin-top: 170px;
  }
  #reader-context {
    display: none;
  }
  #catalog-evidence {
    max-height: none;
  }
}