docs: make the borders slightly larger

This makes it so that lines of text don't become so ridiculously long and are easier to read.

What do you think @robbertkrebbers @jjourdan ?