Remove theme.js file by GuillaumeGomez · Pull Request #82732 · rust-lang/rust (original) (raw)

Fixes #82616.

The first commit moves the theme.js file into main.js, which requires to also run a small .replace on the main.js content.

The second commit is just a small cleanup to centralize DOM ids.

Since it removes a file from rustdoc output: cc @rust-lang/docs-rs

cc @jsha
r? @jyn514