Use a more efficient way to load custom fonts into the web application

[kittaakos]

Describe the request

Custom fonts, such as Open Sans, should be prefetched as it causes performance issues and is noticeable:

arduino-ide/arduino-ide-extension/src/browser/style/fonts.css

Lines 1 to 4 in 7721350

	@font-face {
	font-family: 'Open Sans';
	src: url('fonts/OpenSans-Bold-webfont.woff') format('woff');
	}

Describe the current behavior

IDE2 loads the fonts on the fly, which causes a UI glitch:

Loading:

Loaded:

In action:

font-load.mp4

Related: #1217 (comment)

Arduino IDE version

2.0.4

Operating system

macOS

Operating system version

12.6.3

Additional context

No response

Issue checklist

• I searched for previous requests in the issue tracker
• I verified the feature was still missing when using the latest nightly build
• My request contains all necessary details