bortolussi 9e5c2c6612 Add the AdaCore logo in the doc ...

Also add a favicon and update the background color of the table of
content.

2023-11-13 16:32:59 +01:00

..

theme

Fix doc build scripts

2020-09-03 19:17:37 +02:00

adacore-logo-white.png

Add the AdaCore logo in the doc

2023-11-13 16:32:59 +01:00

conf.py

Add the AdaCore logo in the doc

2023-11-13 16:32:59 +01:00

favicon.ico

Add the AdaCore logo in the doc

2023-11-13 16:32:59 +01:00

index.rst

Rename zfp to light (#30)

2021-09-02 10:19:19 +02:00