6 commits

Author	SHA1	Message	Date
Finii	ac55e5a1d9	[ci] Update webfonts	2023-01-24 16:11:30 +00:00
Finii	842cdd0f18	[ci] Update webfonts	2023-01-23 19:03:59 +01:00
Fini Jastrow	a302a97fc7	[ci] Update webfonts ... Done manually because release workflow had a bug on release. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2023-01-18 11:29:35 +01:00
Fini Jastrow	03f5e75670	Update webfonts ... [why] They are needed for the updates cheat sheet to display the new icons :-) [how] Manual run of new script `generate-webfonts.sh` which is now added to the release workflow. [note] Also remove ttf version of the font, as it is used nowhere on our page. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de> f	2022-12-16 19:41:10 +01:00
Fini Jastrow	50251224d9	Update fonts to v2.2.2 ... This is not yet automated. Generated v2.2.2 font opened with fontforge and afterwards with defaults generated to woff and woff2. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2022-09-11 20:03:18 +02:00
Ryan L McIntyre	5c1d29a033	Optimization: switches to smaller woff2 format	2019-08-05 14:42:04 -07:00