Remove font file

[christophfriedrich]

For some reason, when this whole thing was coded initially (almost a decade ago), it was found necessary to supply a self-hosted web font, see the folder /css/fonts. Maybe that was because web fonts were the new hot shit back then (compare from when on @font-face was widely supported).

For some other reason, which I understand less, this font (sometimes?) looks quite shitty when it gets scaled:

Note especially the lower case r, but also u and y. In the example here, the text is set to a height of 16px (in Firefox 106 on Windows 10). I dOn'T LikE tHis STyLe...

(You can compare any sizes when you download the WOFF file, drop it into https://fontdrop.info/ and select "Waterfall". There you can also see that it only affects certain sizes.)

MOREOVER, and maybe even more importantly, the font used (Helvetica Neue) is NOT FREE -- it is owned by Linotype and we would need a licence to use it.

So the font should be replaced by something else, maybe OpenSans.

I would do it myself, but someone should check on the physical display in Geo1 whether the choice looks good and that the layout is not broken (for reasons like a heading becoming a tad too big or something like that), so I'm writing this issue instead, hoping that someone who's still local picks it up.