We now use the Ubuntu and CascadiaCode fonts from the official sources. These are smaller in size and are much better for web usage.
