[why]
Some text is rather hard to read.
[how]
Change the color of the various bits of text.
Note that some files here are autogenerated and thus the generator needs
to be adapted.
Fixes: #1524
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
[why]
* We want to have the autocreated cheat-sheet file here 100% and not
only approximate, so create the file anew via generate-css.sh and
commit it here.
* "No results found" is kind of a lie, we have a result and the result
is that there are no hits while searching :-> Call me pedantic.
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
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>
[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>
[why]
The automatic release process updates the CSS files, but not the Cheat
Sheet file. This has been fixed by commit
3de381d5a CI: Automatically deploy Cheat Sheet
[how]
Do this one more time manually (do not want to trigger a release
workflow).
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
The file has been autogenerated with the `generate-css.sh` script in
branch `master`. Lets see if it works :-}
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
