Commit graph

3 commits

Author SHA1 Message Date
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
0a9767145f Performance optimizations: woff font and abbreviated names for CSS 2019-08-04 14:05:49 -07:00