Your comments

Indeed, it looks very unprofessional when looking at the page with two font families. For example, when using dark green or matrix theme for gui, all fonts are displayed correctly because the developers have chosen the fonts that work. When switching to other themes the fonts are messed up. It's really not a feature, its a bug. It should be created like this in the first place and should be fixed. images are attached.