b508a4f
docs: Make most headers a bit smaller Headers are bold already, so the font doesn't need to be that big to draw attention.