docs: many style tweaks

tweak Table-of-Contents styles a bunch. tweak other styles, too.

Reviewed at https://rbcommons.com/s/twitter/r/1544/