Re: orgmode website loads a CSS from gnu.org

[Bastien]

If https://www.gnu.org/software/emacs/manual.css is unavailable too
often, and this inconvenient being worse than having to worry about
updates, then yes, let's host a copy on our server.

-- 
 Bastien