Compared to the original formatting, this colorization does the following: - normal text stays the same color, - bold text (bright white) becomes red, - unde

Compared to the original formatting, this colorization does the following: - normal text stays the same color, - bold text (bright white) becomes red, - underlined text becomes green, - inverted text becomes yellow-on-blue However, if the original does not use bold or underlined text to emphasise parts of the text, this re-formatting has no effect. This is what happens in the curl documentation, where the command-line options are in regular text rather than bold text.