Better formatting for type annotations in generated documentation

[jneem]

This is the first thing you see when you open the stdlib docs:

I think we can do better...

I guess a full solution for this will depend on #1702, but maybe there's a website-specific hack that we can do in the meantime.