Tiny documentation fixes and styling improvements

[ci skip]