Fini Jastrow
9498b255f6
Regenerate Cheat Sheet and CSS
...
[why]
After the glyph name fix done with commit
7e2d38b55
Fix some glyph names
we need to update the actual cheat sheet and CSS files.
[how]
Manually commit data from `generate-css.sh` run here.
Related: #1147
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2023-03-12 21:26:05 +01:00
Finii
e600f44f77
[ci] Regenerate CSS files
2023-01-24 16:11:28 +00:00
Finii
2e058a5564
[ci] Regenerate CSS files
2023-01-23 14:55:50 +00:00
Fini Jastrow
a3fae4ce04
[ci] Regenerate CSS files
...
Done manually because release workflow had a bug on release.
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2023-01-18 11:27:17 +01:00
Fini Jastrow
851be7dcda
Regenerate CSS files
...
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2022-12-16 19:42:10 +01:00
Finii
c0be1d3f63
[ci] Regenerate CSS files
2022-10-07 12:05:18 +00:00
Fini Jastrow
6ed248b2d3
Hotfix CSS font name
...
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2022-09-11 17:09:55 +02:00
Finii
546e184740
[ci] Regenerate CSS files
2022-09-11 16:30:28 +02:00