13 commits

Author	SHA1	Message	Date
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
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