Support for multiple font files
See: gitlab!123056 (comment 1424102902)
We currently can only provide one font-file to the web-ide, and the browsers will render some faux
italics. In order to provide proper italics, we would need support for a second font file.