I really like the formatting of the RFCs, both the text and HTML ones.

Does anyone know what tool or formatting machinery is used for this?

I'd like to keep personal notes in this format.