6 Commits

Author	SHA1	Message	Date
Yu Cong	6a3b4c5f88	Remove hakyll-blog.cabal and update .Proof CSS	2026-03-24 20:06:48 +08:00
Yu Cong	720a19e24d	Remove .notes-list custom styles	2026-03-24 20:01:35 +08:00
Yu Cong	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
Yu Cong	71611b0641	Increase body line-height and add theorem padding	2026-03-23 14:54:09 +08:00
Yu Cong	ecc0ab08f8	Add whitesmoke background to theorem environment	2026-03-21 14:53:22 +08:00
Yu Cong	c65e9722a5	first commit	2026-03-20 13:04:46 +08:00