Hello
I hope this is the right place to bring this up. It is a minor issue but perhaps useful to mention nevertheless. I was going through the documentation and found that this specific font does not display very well. It appears as though there are horizontal lines, but this is an illusion AFAICT. It is imply caused by the font size and vertical pixel stacking on certain pixel sizes. I think it is noteworthy because the font occurs on crucial positions (e.g. buttons or information bubbles). I tested this on Chrome/Edge/Firefox and they all show this behavior on the default zoom level 1920x1080.
Here are some examples. Because they are cropped, they appear quite large as a screenshot, which makes them easier to read. But in reality the text is a bit smaller so with the horizontal "lines" it is quite hard to read.
I don't know if this can be remedied, but I figured I might as well mention it nevertheless,
EDIT: it is possible that this issue is hard to reproduce. At home, on my 1440p monitors I do not have the issue. It would be useful if readers comment whether they also experience this issue, or whether my work monitors are a rarity.
I can't reproduce this problem on any of my machines and the only time I've seen it was on one Windows machine so it might be some combination of OS and monitor/resolution. It'd definitely be good to fix because when the problem occurs, it's pretty ungly and hard to read.