Re: Dark mode in HTML docs

> Reading through the docs, great stuff as usual in GNU projects. I usually do
> it after work on my phone, but I have to quit early since the docs have no
> CSS to respect the system theme. I would like to add a minimal stylesheet to
> enable dark mode when that is requested by the system. Would this be useful
> for others as well?

I don't know very much about this, so take my answer with a grain of
salt. From what I understand, I don't think your change would hinder
anyone, while at the same time being helpful to at least one person
(yourself) and probably more, who prefer dark mode. If you send a patch
to the GDB community (via gdb-patches), it seems to me that this would
be a welcome addition?

-- 
Joel