From d173e77712917fdb9f76995cc9ac9b857965aaf9 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sat, 15 Feb 2020 15:38:47 +0100
Subject: 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.
---
 .gitignore | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 9d9e78e..dd04541 100644
--- a/.gitignore
+++ b/.gitignore
@@ -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
-- 
cgit v1.2.3