User script for a brighter theme for this site

I prefer light themes to dark themes. I asked Claude for one and he gave me one. If you're on a phone, you need to use Edge Canary, Yandex, or Kiwi browsers—the only mobile browsers that allow desktop extensions to be used (Kiwi isn't being updated anymore). Install Violentmonkey in one of those browsers and copy and paste this script into it:

https://claude.ai/share/432b4dd3-0b6e-4331-b0db-777c8a463434