Small tweaks to the documentation styling that hadn't been pushed yet.