Making the docs pretty (I think?)

[ci skip]