v0.5.1 Small update to navigation bar July 19, 2025 Made the navigation bar use JavaScript to only use a single file for every page using the navigation bar.