Documentation: using "proportional" to describe code (aka mono-spaced) fonts

[cubranic]

I am confused by the use of "proportional" to describe the code font. (See Changing the fonts page in the documentation.) That seems to mean the exact opposite of what a proportional font is in typography: a font in which characters ("glyphs") can be of varying widths. (See also Wikipedia's description.)

I'd be happy to open an issue/PR with changed wording, but I am surprised that no-one has already brought it up, although I couldn't find any mention of it in closed issues. Am I missing something obvious here?

[squidfunk]

You're absolutely right, I think I swapped those concepts. A PR is very welcome, let's just call them monospaced fonts 😉

[cubranic]

Thanks @squidfunk! PR submitted in #2314.