rust-playground
rust-playground copied to clipboard
Monaco font is too small
Older eyes, here, but the typeface used in Monaco renders smaller than ace (even if it is advertised as the same point size).
Embiggening the whole page makes the playground controls UI cartoonishly large. Requesting a size bump for Monaco's font or even a control in all configurations to make it settable.
/cc @HKalbasi let's make Monaco and Ace match.
On my system (both brave and firefox), Monaco's font is slightly larger than Ace (20 lines of monaco on screen vs 21 lines of ace) so @U007D can you try it on another browser/computer to see if it is the same? Maybe a plugin/browser extension is changing the font?