summaryrefslogtreecommitdiffstats
path: root/site/style
AgeCommit message (Expand)Author
2020-02-20Adopt a literate programming for `main.sass'Thomas Letan
2020-02-19Always use variables for colors in main.sassThomas Letan
2020-02-19Various improvement in the content generation processThomas Letan
2020-02-17Add a minor styling for inline mathsThomas Letan
2020-02-17Remove ugly border around my avatarThomas Letan
2020-02-16Automatically generate a revision table from git historyThomas Letan
2020-02-16Add a dedicated icon for GitHub linksThomas Letan
2020-02-15Mark external links with a dedicated iconThomas Letan
2020-02-15Add missing fonts and rename the pluginThomas Letan
2020-02-15Use a light themeThomas Letan
2020-02-15Make the website 3rd-party free and improve loading performanceThomas Letan
2020-02-15Self hosting of Fira Sans and various small fixesThomas Letan
2020-02-14Provide an index page for write-ups with more valueThomas Letan
2020-02-05Some more minor tweaksThomas Letan
2020-02-05Add a minimal navigation bar for the websiteThomas Letan
2020-02-05Various theme tweakingThomas Letan
2020-02-04Change the date formatThomas Letan
2020-02-04Rework StronglySpecifiedFunctionsProgram.vThomas Letan
2020-02-04Tweak the CSSThomas Letan
2020-02-04Various fixes related to absolute URLsThomas Letan
2020-02-04Initial commit with previous content and a minimal themeThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-19 08:18:08 +0000