Minor layout tweaks

2 · Rui Carmo · Sept. 5, 2023, 9:33 a.m.
I pushed out a few minor layout and color tweaks that should improve the reading experience in dark mode (set via your OS preferences, where applicable). ...