world.git - nix configuration for my machines

	Commit message (Collapse)	Author	Files	Lines
2022-01-23	CSS: improve readability	Franck Cuny	1	-6/+9
	Using Firefox' accessibility tool as a guide.
2022-01-23	CSS: adjust some font sizes	Franck Cuny	1	-2/+2

2022-01-23	CSS: switch from class to id	Franck Cuny	2	-14/+14
	These elements are unique on each page.
2022-01-23	layout: no need for a class to element 'article'	Franck Cuny	3	-3/+3

2022-01-23	css: TOC location based on display's size	Franck Cuny	1	-19/+82
	Depending on the size of the display, display the TOC either before the article or on the right of the article and let's make it sticky.
2022-01-23	layout: proper TOC	Franck Cuny	1	-4/+13
	There's a need for two TOCs in the layout: one for when the page is on mobile; one for non mobile. When we are on mobile, we display the first TOC, before the article. When we're not on mobile, we hide that TOC and display one after the document. We restructure a bit the layout so that's it's a bit more readable too, and close tags properly.
2022-01-23	layout: wrap content in an "article" tag	Franck Cuny	2	-0/+8

2022-01-23	layout: drop the div 'main'	Franck Cuny	1	-6/+4
	The div 'main' is not needed, we are creating an element named 'named' in the main block.
2022-01-23	css: change style for tables	Franck Cuny	1	-4/+8