Color-Theme update to match main site for consistency#613

Merged

shravanngoswamii merged 17 commits intomainfrom

sg/temp-theme-update

Aug 7, 2025

Commits on Jun 18, 2025

Merge branch 'main' into sg/temp-theme-update
penelopeysm
authored

Commits on Jul 11, 2025

fix merge conflicts
shravanngoswamii
committed
removed current default footer and added custom one
shravanngoswamii
committed
Add custom footer and update styles to match https://github.com/TuringLang/turinglang.github.io/pull/119
shravanngoswamii
committed

Commits on Aug 7, 2025

remove old styles
shravanngoswamii
committed