diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-15 15:38:47 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-15 15:41:53 +0100 |
commit | d173e77712917fdb9f76995cc9ac9b857965aaf9 (patch) | |
tree | afc78e1cefc42ec7805a3d32e075ead603b8da5c /.gitignore | |
parent | Self hosting of Fira Sans and various small fixes (diff) |
Make the website 3rd-party free and improve loading performance
- Use webp in place of a regular png
- Lazy loading of CSS files (compatible with javascript-less browsers)
- KaTeX in place of MathJax
- Minified CSS (using sass)
- Vendoring fonts, scripts, and CSS.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -8,13 +8,14 @@ build/ *.html~ # begin generated files -site/posts/ExtensibleTypeSafeErrorHandling.html +site/posts.html site/posts/DiscoveringCommonLisp.html +site/posts/ExtensibleTypeSafeErrorHandling.html site/posts/MonadTransformers.html -site/posts.html -site/posts/RewritingInCoq.html -site/posts/StronglySpecifiedFunctions.html -site/posts/Ltac101.html site/posts/StronglySpecifiedFunctionsProgram.html site/posts/MiniHTTPServer.html +site/posts/StronglySpecifiedFunctions.html +site/posts/RewritingInCoq.html +site/posts/Ltac101.html +site/style/main.css # begin generated files |