19 Commits

Author SHA1 Message Date
3f0d36015b update readme 2026-03-31 23:27:55 +08:00
Codex
3a3fd97055 Split TUI from default watch mode 2026-03-30 11:05:44 +08:00
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
3652459503 Add Unix and enable stdin-driven quit in watch TUI 2026-03-29 13:48:43 +08:00
fc4cac00d5 format code 2026-03-29 13:38:58 +08:00
55719f3444 fix a tui bug 2026-03-26 15:57:32 +08:00
d4629ec8e7 update readme 2026-03-26 15:57:02 +08:00
e419366615 better tui for watch 2026-03-24 21:05:23 +08:00
6c59abb9cc Introduce CLI, watch server, and bundled assets
Add data-files and bundled templates/fonts/css to the package and
rename the executable to hakysidian (autogen Paths_hakysidian).
Refactor site.hs to parse CLI commands (build/clean/rebuild/watch),
start a preview server, snapshot inputs and run an incremental watch
loop, and move rules into a siteRules function. Update ChaoDoc and
filters to accept math-macros, and add favicon links to templates.
2026-03-24 20:47:46 +08:00
6a3b4c5f88 Remove hakyll-blog.cabal and update .Proof CSS 2026-03-24 20:06:48 +08:00
720a19e24d Remove .notes-list custom styles 2026-03-24 20:01:35 +08:00
1789c75f18 Revert "Rename package to hakysidian; add CLI and assets"
This reverts commit 3d2c5a8852.
2026-03-24 19:58:26 +08:00
3d2c5a8852 Rename package to hakysidian; add CLI and assets 2026-03-24 18:59:06 +08:00
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
71611b0641 Increase body line-height and add theorem padding 2026-03-23 14:54:09 +08:00
ecc0ab08f8 Add whitesmoke background to theorem environment 2026-03-21 14:53:22 +08:00
27c9367e05 Update readme.md 2026-03-21 12:38:01 +08:00
6daea71f00 add a workaround for mathrlap{/}{\backslash}
problems are not labeled in obsidian. so remove problem number
2026-03-21 12:33:22 +08:00
c65e9722a5 first commit 2026-03-20 13:04:46 +08:00