gnu-tools-website - gnu.tools website

	Commit message (Expand)	Author	Age	Files	Lines
*	website: Disable menu item for current location.	Ricardo Wurmus	2021-04-11	1	-1/+3
*	website: Fix vertical alignment.	Ricardo Wurmus	2021-04-11	1	-5/+1
*	website: Move menubar to header.	Ricardo Wurmus	2021-04-11	1	-22/+31
*	website: Adjust focus styles.	Ricardo Wurmus	2021-04-11	1	-5/+7
*	website: Convert text to path to avoid having to distribute fonts.	Ricardo Wurmus	2021-04-11	2	-2/+995
*	website: Rearrange intro text.	Ricardo Wurmus	2021-04-11	2	-25/+11
*	website: Add big-letter heading on the front page.	Ludovic Courtès	2021-04-10	1	-0/+5
*	website: Use dark blue from palette as text "black".	Ricardo Wurmus	2021-04-10	1	-0/+1
*	website: Use blue underline for unvisited links.	Ricardo Wurmus	2021-04-10	1	-1/+1
*	website: Add focus styles for accessibility.	Ricardo Wurmus	2021-04-10	1	-0/+7
*	website: Style list bullets.	Ricardo Wurmus	2021-04-10	1	-0/+25
*	website: Replace logos and favicon with SVG originals.	Ricardo Wurmus	2021-04-10	7	-0/+8
*	Add skeleton of a Haunt web site.	Ludovic Courtès	2021-04-10	13	-0/+448