7 Commits

Author	SHA1	Message	Date
sxlxc	aa05d73c9c	Clean up CSS and update default styles ... Normalize formatting across CSS files and fix selector whitespace and quote usage. Change default link color to browser blue and enable smooth scrolling; hover underlines links. Revamp table styles (borders, caption, zebra rows, padding, footer alignment). Adjust proof/theorem header spacing and minor spacing/padding fixes.	2026-03-30 10:42:25 +08:00
sxlxc	6a3b4c5f88	Remove hakyll-blog.cabal and update .Proof CSS	2026-03-24 20:06:48 +08:00
sxlxc	720a19e24d	Remove .notes-list custom styles	2026-03-24 20:01:35 +08:00
sxlxc	614de591ba	Add notes list and integrate into templates ... New partial templates/notes-list.html to render the notes list. Add .notes-list CSS for styling and ensure contents areas use it. Refactor site.hs: add loadNoteLinks and provide a "notes" listField used by index and note pages.	2026-03-24 14:56:45 +08:00
sxlxc	71611b0641	Increase body line-height and add theorem padding	2026-03-23 14:54:09 +08:00
sxlxc	ecc0ab08f8	Add whitesmoke background to theorem environment	2026-03-21 14:53:22 +08:00
sxlxc	c65e9722a5	first commit	2026-03-20 13:04:46 +08:00