I made some changes to the theme here for the first time since adding support for dark mode about 18 months ago. I like documenting it because it’s fun to see how the design and layout change over time. Previously: https://josh.blog/2023/01/dark-mode #