Commit graph

10 commits

Author SHA1 Message Date
Finii
2aac5b3ee7 [ci] Update webfonts 2023-11-21 10:31:19 +00:00
Finii
64b0fdf6a4 [ci] Update webfonts 2023-06-04 20:45:40 +00:00
Fini Jastrow
f6a5fe6e22 Update stuff for v3.0.1
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2023-05-13 23:34:55 +02:00
Fini Jastrow
b5bf856738 Update cheat sheet WITH removed icons (step 2)
This step adds just the stuff generated via script in the master branch.

See pairing commit in the gh-pages branch:
    Date:   Wed May 3 17:54:44 2023 +0200
    generate-css: Create cheat sheet with removed icons

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2023-05-04 12:44:46 +02:00
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