Merge branch 'refs/heads/t/logo'
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 12 Mar 2022 16:22:15 +0000 (17:22 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 12 Mar 2022 16:23:30 +0000 (17:23 +0100)
commitccbe76ece6a8d05439b2dbb51c1c777735c4171e
tree59d8b2ec1b5179dcc8fab956bfc6a5bde7c2ba7f
parentc88ccb7d91ea4baab78e24922d5c1d0cbaf6dcce
parent952da60cc630bd582fe72c7354f7a741dc139819
Merge branch 'refs/heads/t/logo'

The fancy new svg logo and a couple of changes which streamline
the look of the web pages.

Cooking for a month.

* refs/heads/t/logo:
  web: Add horizontal space between table columns.
  web: Clean up style sheet.
  web: Avoid bold face on main page.
  web: Add padding to all pages.
  web: Move navigation into top level table.
  web: Link to "./index.html" rather than to ".".
  web: Remove selected APIs page.
  web: Avoid "integrated" in feature list of main page.
  web: Shorten slogan.
  web: The new logo for paraslash-0.7.
  manual: Avoid vertical space between coding style items.
NEWS.md
web/documentation.in.html
web/manual.md