Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-02-16 | Add a dedicated icon for GitHub links | Thomas Letan | |
2020-02-15 | Mark external links with a dedicated icon | Thomas Letan | |
2020-02-15 | Add missing fonts and rename the plugin | Thomas Letan | |
2020-02-15 | Use a light theme | Thomas Letan | |
2020-02-15 | Make the website 3rd-party free and improve loading performance | Thomas Letan | |
- 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. | |||
2020-02-15 | Self hosting of Fira Sans and various small fixes | Thomas Letan | |
2020-02-14 | Provide an index page for write-ups with more value | Thomas Letan | |
2020-02-05 | Some more minor tweaks | Thomas Letan | |
2020-02-05 | Add a minimal navigation bar for the website | Thomas Letan | |
2020-02-05 | Various theme tweaking | Thomas Letan | |
2020-02-04 | Change the date format | Thomas Letan | |
2020-02-04 | Rework StronglySpecifiedFunctionsProgram.v | Thomas Letan | |
2020-02-04 | Tweak the CSS | Thomas Letan | |
2020-02-04 | Various fixes related to absolute URLs | Thomas Letan | |
2020-02-04 | Initial commit with previous content and a minimal theme | Thomas Letan | |