Oh I see that https://fastapi.tiangolo.com/ uses the same tooltips. Should I create a PR there too, or is this intentional and not a mistake?

Looks similar if not the same? fastapi/fastapi#3246

Maybe swapping the icons would be better too, sure. While using the light theme the bulb would be "turned on" and with the dark theme it would be "off". Makes sense to me.

However fastapi/fastapi#3246 does not fix the tooltip texts.

Anyway, swapping the text alone seems like an improvement for me. Swapping the icons can be something for another PR.

Codecov Report

❗ No coverage uploaded for pull request base (main@ed0d670). Click here to learn what that means.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main       #1   +/-   ##
=======================================
  Coverage        ?   97.27%           
=======================================
  Files           ?      175           
  Lines           ?     5842           
  Branches        ?        0           
=======================================
  Hits            ?     5683           
  Misses          ?      159           
  Partials        ?        0           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update ed0d670...bce07dc. Read the comment docs.

Great, thank you @Lehoczky! 🚀

And thanks for the comments @ArcLightSlavik!