This repository has been archived on 2021-01-10. You can view files and clone it, but cannot push or open issues or pull requests.

Danila Fedorin 31c0537d43 Fix rendering and roll back katex to a version with better fonts.		2020-12-15 04:48:03 +00:00
..
builder.sh	Fix rendering and roll back katex to a version with better fonts.	2020-12-15 04:48:03 +00:00
convert.rb	Fix rendering and roll back katex to a version with better fonts.	2020-12-15 04:48:03 +00:00
default.nix	Fix rendering and roll back katex to a version with better fonts.	2020-12-15 04:48:03 +00:00
katexserver.js	Fix rendering and roll back katex to a version with better fonts.	2020-12-15 04:48:03 +00:00
node-env.nix	Try node2nix again, with custom package lists this time.	2020-04-07 20:52:13 -07:00
node-packages.nix	Fix rendering and roll back katex to a version with better fonts.	2020-12-15 04:48:03 +00:00
packages.json	Fix rendering and roll back katex to a version with better fonts.	2020-12-15 04:48:03 +00:00
required-packages.nix	Try node2nix again, with custom package lists this time.	2020-04-07 20:52:13 -07:00