feat: search every view that renders text, not only a document

CHANGELOG.md

@@ -16,6 +16,16 @@ The release run heads these entries with the version and opens a fresh
 
 ## Unreleased
 
+- `odr.search()`, `searchNext()`, `searchPrevious()` and `resetSearch()` now
+  come with every view that renders text — a pdf, a text file, an xml view, an
+  archive listing — as the shipped `search.css` and `search.js`, which a host
+  that links rather than embeds has to serve.
+- A search hit in a pdf tints its glyphs instead of covering them; a pdf's
+  glyph layer and the text view's line numbers are not searched.
+- A keyword is found across the spans it happens to be written in — a pdf puts
+  a word in each — and a space matches whichever kind the page carries. It
+  still does not run across a line, a cell or a paragraph.
+
 ## v6.6.0 - 2026-08-14
 
 - A paragraph states its own font, so a run that names none of its own is read

src/odr/internal/html/document.cpp

@@ -54,6 +54,7 @@ void front(const Document &document, const WritingState &state,
                           : std::nullopt);
 
   write_document_style(state);
+  write_search_style(state);
   if (document.document_type() == DocumentType::spreadsheet) {
     write_spreadsheet_style(state);
   }
@@ -93,6 +94,7 @@ void back(const Document &document, const WritingState &state) {
     out.write_element_end("div");
   }
 
+  write_search_script(state);
   write_document_script(state);
   if (document.document_type() == DocumentType::spreadsheet) {
     write_spreadsheet_script(state);

src/odr/internal/html/filesystem.cpp

@@ -189,6 +189,7 @@ class HtmlServiceImpl final : public HtmlService {
     out.write_header_title("odr");
     write_viewport_meta(out, config(), false);
     write_filesystem_style(state);
+    write_search_style(state);
     out.write_header_end();
 
     out.write_body_begin();
@@ -263,6 +264,8 @@ class HtmlServiceImpl final : public HtmlService {
     out.write_element_end("tbody");
     out.write_element_end("table");
 
+    write_search_script(state);
+
     out.write_body_end();
 
     out.write_end();