Phil,
-------- Original Message --------
*Subject: *Should I-Ds and RFCs in HTML format fetch fonts from Google?
*From: *Phillip Hallam-Baker
*To: *Marco Davids
*Cc: *ieTf@xxxxxxxx
*Date: *Wed, 23 Jul 2025 17:07:27 +0200
The rfc-local is a hook so that you can override the style sheet with a
local one if you choose. I do make use of it occasionally to do things
like present headings in colour.
Oh, that's sweet! Didn't know this (thank you Robert for pointing me to
RFC7992).
I played with it here:
https://forsalereg.sidnlabs.nl/rfc/
(can recommend to have a look and see what it does in my case)
I couldn't refrain myself and played with both the CSS and .js, but that
seems like a bit of overkill for the longer term.
--
Marco
