summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2022-11-03Add favicons, which are very well standardized /sPrefetch
2022-10-27Optimize last images, add proof template, improve CSSPrefetch
2022-10-23Optimize and improve naming of all images in knowledge basePrefetch
2022-10-20Migrate from 'jekyll-katex' to 'kramdown-math-sskatex'Prefetch
2022-10-19Polish presentation, "fix" Unicode sortingPrefetch
2022-10-14Initial commit after migration from HugoPrefetch