PR Summary

This updates the CSS of the documentation. In particular this

• Slightly increases the font size of signatures so that the stand out a bit from the following text.
• Changes style and color of admonitions and deprecated info. Text-related have now non-rounded edges and a bar on the left. The old style of boxes with rounded edges is now reserved to code and call signatures. This should make it easier to distinguish the two categories. See e.g. the hint example below.
• Changed the "See Also" color from yellow to blue. The original yellow color was hard to read and reminded more of a warning.
• Restyled the table of contents (optionally use multiple columns)
• Some fixes of CSS inconsistencies and duplicate definitions.

Following are some examples:

Signature font size

before:

after:

Deprecation

before:

after:

See Also

before:

after:

Warning

before:

after:

Note

before:

after:

Hint

before

after:

Table of contents

before:

after: