Yudong Jin 6e600f5ba7 Add animation player (#1877) ...

* Add auto slide controller.

* Fix the animation blocks.

* renamed as animation_player

* Bug fixes

* Refine animation player controls

2026-03-31 21:24:11 +08:00

..

assets/images

Bug fixes and improvements (#1078)

2024-02-14 18:37:18 +08:00

javascripts

Update the landing pages (#1867)

2026-03-29 02:08:35 +08:00

partials

Sync multilingual versions (#1875)

2026-03-31 18:31:56 +08:00

stylesheets

Update chapter covers (#1874)

2026-03-31 05:27:28 +08:00

zensical

Add animation player (#1877)

2026-03-31 21:24:11 +08:00

main.html

Re-translate the Japanese version (#1871)

2026-03-30 07:30:15 +08:00