Repository navigation
fix: add explore's CSP and fix docs search and previews - #10951
Conversation
- explore had no security headers. It now sends a CSP plus the
nosniff, referrer and opener headers the docs send. The CSP allows the
wasm module ('wasm-unsafe-eval'), Google Fonts, the explorer's worker,
and fetches of any https: URL, because users open remote files by URL.
- Preview deployments of docs and explore now also allow the sources
the Vercel toolbar needs (vercel.com/docs/vercel-toolbar), so comments
work on previews. The rules use a `missing` host condition, so
docs.vortex.dev and explore.vortex.dev keep the strict policy.
- The docs theme's <main> element now has role="main". Sphinx search
queries [role=main] to build result snippets. Without it, search
never finished and logged an error for each result.
- JDK 17's javadoc stylesheet imports a font file that JDK 17 never
generates. The docs build now removes that import, so each javadoc
page stops requesting a missing file.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Will Manning <will@willmanning.io>
Merging this PR will degrade performance by 3.4%4 warnings
Warning Please fix the performance issues or acknowledge them on CodSpeed. Performance Changes
Tip Investigate this regression by commenting Comparing Footnotes
|
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
This PR fixes four small problems on the docs and explore sites:
role="main", which Sphinx search requires.I tested each change on preview deploys in a browser.
🤖 Generated with Claude Code