Closed glennsl closed 4 years ago
At first I wasnt sure if we should change the names of italicized and monospaced but I think it's better just because it's shorter.
"italic" is also the more common form (by an order of magnitude according to google) and more consistent with properties like "bold" (vs "bolded"). "monospaced" is trickier though, because it doesn't have an adjective form as far as I'm aware, and is soooo long, but can also be ambiguous outside the context of a font, so I've left it in the full form in some places.
The objective here is primarily to remove ambiguity, and secondarily to reduce verbosity.