> Actually, why not add dark theme to SRFI documents too?

I wouldn't be against it, but many of the documents have custom CSS.

Also, I would want a dark-mode/light-mode switcher button so that I
could switch to the original CSS if the default dark mode doesn't work
properly. But that would require adding a button to each SRFI HTML, and
some of the SRFIs are in a pretty old HTML version.

-- Peter McGoron