web: Add style sheet.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 16 Jun 2020 19:36:36 +0000 (21:36 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 22 Sep 2020 19:28:31 +0000 (21:28 +0200)
commitd2305288dbd2e71a6235446e5b1a6a5857ccab05
treecc36dca7ab19598f092e90d9a1cbc03763042481
parent18154ba2b95cf8f240994e23c1b7e5ab0e55116e
web: Add style sheet.

The style sheet configures different background colors for even and
odd numbered lines of the API summary. This visual aid should make
the document easier to follow.
web/header.html