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 |
|
Ryan L McIntyre
|
abdbfb4ce4
|
Cheatsheet correction (fixes #285)
|
2019-08-15 14:40:17 -07:00 |
|
Ryan L McIntyre
|
5c1d29a033
|
Optimization: switches to smaller woff2 format
|
2019-08-05 14:42:04 -07:00 |
|
Ryan L McIntyre
|
0a9767145f
|
Performance optimizations: woff font and abbreviated names for CSS
|
2019-08-04 14:05:49 -07:00 |
|
Ryan L McIntyre
|
8f8dfc4a11
|
Web Font load fallback of Nerd Fonts Symbols font
|
2019-07-19 19:26:50 -07:00 |
|
Ryan L McIntyre
|
0aa79240dd
|
Fixes codepoint references for website (issue #247)
|
2018-03-20 21:29:42 -04:00 |
|
Ryan L McIntyre
|
0689f9e96c
|
Updates CSS for v2.0.0
|
2018-03-12 21:07:13 -04:00 |
|