I’ve just found Practical Typography by Matthew Butterick and, uh, wow.