yet another improvment to rustdoc js typechecking

[lolbinarycat]

biggest improvment is the docs for FunctionType and the signatures for functions that accept names of crates were both slightly wrong, this has now been fixed.

[rustbot]

Some changes occurred in HTML/CSS/JS.

cc @GuillaumeGomez, @lolbinarycat

[rustbot]

r? @notriddle

rustbot has assigned @notriddle.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[rust-log-analyzer]

The job tidy failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot)

linting javascript files and applying suggestions
Running eslint on rustdoc JS files

/checkout/src/librustdoc/html/static/js/search.js
  5322:5  error  Unexpected console statement  no-console

✖ 1 problem (1 error, 0 warnings)

rerun tidy with `--extra-checks=js:lint --bless` to apply eslint suggestions
tidy [extra_checks]: checks with external tool 'eslint' failed
tidy [extra_checks]: FAIL
tidy: The following check failed: extra_checks
Command `/checkout/obj/build/x86_64-unknown-linux-gnu/stage1-tools-bin/rust-tidy /checkout /checkout/obj/build/x86_64-unknown-linux-gnu/stage0/bin/cargo /checkout/obj/build 4 /node/bin/yarn --extra-checks=py,cpp,js,spellcheck` failed with exit code 1
Created at: src/bootstrap/src/core/build_steps/tool.rs:1599:23
Executed at: src/bootstrap/src/core/build_steps/test.rs:1285:29

Command has failed. Rerun with -v to see more details.
Bootstrap failed while executing `test src/tools/tidy tidyselftest --extra-checks=py,cpp,js,spellcheck`
Build completed unsuccessfully in 0:02:46
  local time: Tue Nov 25 20:30:58 UTC 2025
  network time: Tue, 25 Nov 2025 20:30:58 GMT
##[error]Process completed with exit code 1.

[notriddle]

Suggested change

console.log(filterCrates);

[lolbinarycat]

whoops!

yea this was from testing to figure out which type signature was correct.

[notriddle]

Please leave a comment explaining why this is okay?

[lolbinarycat]

SvgElement, MathMLElement, and HTMLElement all define .focus()

honestly i'm not even sure what hypothetical element would not have the ability to be focused.