/* Brighter, more obvious search-highlight colors than PDF.js's default
   purple/green — matches the yellow used in assets/textviewer/viewer.html
   so both viewers read the same way. Loaded after viewer.css; same
   selector/specificity, later wins, so these custom-property values
   override the originals without needing to redeclare background-color
   etc. */
.highlight {
  --highlight-bg-color: rgb(255 224 0 / 0.65);
  --highlight-selected-bg-color: rgb(255 152 0 / 0.75);
}

/* Banner injected by pledge-overrides.js linking back to the original,
   non-self-hosted source for the PDF being viewed — see
   assets/data/document-sources.json for the manifest it reads. */
#pledge-source-banner {
  display: flex;
  align-items: center;
  gap: 0.4ch;
  padding: 0.5rem 1rem;
  font: 13px -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  background: #f4f4f5;
  color: #444;
  border-bottom: 1px solid #ddd;
}
#pledge-source-banner .tag {
  color: #777;
}
#pledge-source-banner a {
  color: #0645ad;
}
@media (prefers-color-scheme: dark) {
  #pledge-source-banner {
    background: #16181c;
    color: #ccc;
    border-bottom-color: #333840;
  }
  #pledge-source-banner .tag {
    color: #9aa0a6;
  }
  #pledge-source-banner a {
    color: #8ab4f8;
  }
}