v0.1.3

Full Changelog: v0.1.2...v0.1.3

v0.1.2

Full Changelog: v0.1.1...v0.1.2

v0.1.0

What's Changed

• feat: refine academic blog theme by @jonaprieto in #1
• fix: restore baseline theme and project-site links by @jonaprieto in #2
• refactor: simplify blog reading layout by @jonaprieto in #3
• fix: compact post lists by @jonaprieto in #4
• fix/quiet header navigation by @jonaprieto in #6
• fix: move post toc to side rail by @jonaprieto in #7
• fix: repair toc script by @jonaprieto in #8
• feat: add code reading tools by @jonaprieto in #9
• fix: repair post actions by @jonaprieto in #10
• feat: make leanblog a reusable template by @jonaprieto in #20
• build: adopt Lean v4.33.0 by @jonaprieto in #22

New Contributors

• @jonaprieto made their first contribution in #1

Full Changelog: https://github.com/jonaprieto/lean-blog/commits/v0.1.0