world.git - nix configuration for my machines

	Commit message (Collapse)	Author	Files	Lines
2021-08-24	blog: git-link and sourcegraph	Franck Cuny	1	-0/+40

2021-08-24	blog: sort pages in reverse order	Franck Cuny	1	-1/+1

2021-08-24	build: sleep before tagging	Franck Cuny	1	-0/+1
	The last deploy was tagged v13, while the version deployed was 14. It's possible that running `fly info` too quickly after a deploy returns the incorrect version. Adding a `sleep 5` before running the command for git tag.
2021-08-23	CSS: various small fixes	Franck Cuny	1	-2/+2

2021-08-23	index: drop the main header	Franck Cuny	1	-2/+0
	It's ugly.
2021-08-23	CSS: use decoration on headers only for articles	Franck Cuny	2	-6/+10
	Add an element "article" to the single page template, and change the CSS to use the decoration for headers only for that kind of content. Having decoration for all headers is distracting, it's more suited for actual content. We also don't need decoration for h1, only smaller headers.
2021-08-23	CSS: rename the class for the tags	Franck Cuny	1	-4/+6

2021-08-23	CSS: makes the menu more readable	Franck Cuny	2	-23/+39
	Move the title to the left and the menu items to the right.
2021-08-15	build: tag the repo after a deploy	Franck Cuny	1	-2/+7</