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.

diff --cc NEWS.md
index 9e67364d9d6c2bb4dd8390e4a5ee5a524bbe5157,a31aeaf18e04b32b496f47cea04988fd74f5536f..dc2e8050c386135ce618159966c952c4170bdc01
--- 1/NEWS.md
--- 2/NEWS.md
+++ b/NEWS.md
@@@ -30,6 -15,6 +30,7 @@@ NEW
  - New option for configure: --enable-ubsan to detect and report undefined
    behaviour.
  - The "tasks" server command has been removed.
++- The fancy new logo and a minor overhaul of the web pages.
  
  Downloads:
  [tarball](./releases/paraslash-git.tar.xz)

diff --cc web/documentation.in.html
Simple merge

diff --cc web/manual.md
Simple merge