* theme: improved light style, contrasty dark style * style: consistent padding * mdbook: Add site-url to fix 404s fixes #55 * notes: Add meeting notes processing tool I let Claude help me out with a little JavaScript tool for inputting Google Docs Markdown (with a lot of excess cruft) and outputting Markdown for GitHub, e.g. pasting notes into Discussion comments. - Converts known names to GitHub @-mentions - Cleans up issue/PR links