丛宇 - mathtea

congyu pushed to master at congyu/work_with_codex

2026-03-26 10:32:52 +08:00

e7f7873fa8 first commit

congyu created branch master in congyu/work_with_codex

2026-03-26 10:32:52 +08:00

congyu created repository congyu/work_with_codex

2026-03-26 10:27:25 +08:00

congyu pushed to master at congyu/Hakysidian

2026-03-24 21:05:26 +08:00

e419366615 better tui for watch

6c59abb9cc Introduce CLI, watch server, and bundled assets

Compare 2 commits »

congyu pushed to master at congyu/Hakysidian

2026-03-24 20:06:50 +08:00

6a3b4c5f88 Remove hakyll-blog.cabal and update .Proof CSS

congyu pushed to master at congyu/Hakysidian

2026-03-24 20:01:37 +08:00

720a19e24d Remove .notes-list custom styles

1789c75f18 Revert "Rename package to hakysidian; add CLI and assets"

Compare 2 commits »

congyu pushed to master at congyu/Hakysidian

2026-03-24 18:59:10 +08:00

3d2c5a8852 Rename package to hakysidian; add CLI and assets

congyu pushed to master at congyu/Hakysidian

2026-03-24 14:56:49 +08:00

614de591ba Add notes list and integrate into templates

congyu pushed to master at congyu/Hakysidian

2026-03-23 14:54:11 +08:00

71611b0641 Increase body line-height and add theorem padding

congyu pushed to modern_theme at congyu/Hakysidian

2026-03-23 13:40:59 +08:00

742d06f3c7 Simplify contents sidebar styles and markup

f226f440a5 make toc srollable if its too long

Compare 2 commits »

congyu pushed to modern_theme at congyu/Hakysidian

2026-03-22 12:37:02 +08:00

6534dc58ab codex update the css.

congyu created branch modern_theme in congyu/Hakysidian

2026-03-22 12:37:02 +08:00

congyu pushed to master at congyu/Hakysidian

2026-03-21 14:53:25 +08:00

ecc0ab08f8 Add whitesmoke background to theorem environment

congyu pushed to master at congyu/Hakysidian

2026-03-21 12:38:04 +08:00

27c9367e05 Update readme.md

congyu pushed to master at congyu/Hakysidian

2026-03-21 12:33:27 +08:00

6daea71f00 add a workaround for mathrlap{/}{\backslash}

congyu pushed to master at congyu/Hakysidian

2026-03-20 13:05:09 +08:00

c65e9722a5 first commit

congyu created branch master in congyu/Hakysidian

2026-03-20 13:05:09 +08:00

congyu created repository congyu/Hakysidian

2026-03-20 12:40:34 +08:00