Skip to content

rustdoc: merge theme css into rustdoc.css#115829

Merged
bors merged 2 commits into
rust-lang:masterfrom
notriddle:notriddle/rustdoc-theme-css-merge
Sep 16, 2023
Merged

rustdoc: merge theme css into rustdoc.css#115829
bors merged 2 commits into
rust-lang:masterfrom
notriddle:notriddle/rustdoc-theme-css-merge

rustdoc: avoid calling `document.write` after the page loads

ab41e2b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs