This can be fixed by using a Custom CSS extension for your web browser such as https://chrome.googl...degkbkekifodacd and then configuring it to override the style of the website. The CSS snippet I use on my laptop is
* {font-family: "Ubuntu"!important;}
which does the trick, but you probably need to customize that to use some font you have on your devices.
Happy MechLabWarrioring!