Use our own doc theme.
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=3487b3360e5eee7af89fb8e48e398ef4ac7aa346
Modified Files
--------------
docs/en_US/conf.py | 40 +-
docs/en_US/theme/pgadmin4/layout.html | 4 +
docs/en_US/theme/pgadmin4/static/favicon.ico | Bin 0 -> 78998 bytes
docs/en_US/theme/pgadmin4/static/style.css | 526 +++++++++++++++++++++++++++
docs/en_US/theme/pgadmin4/theme.conf | 11 +
5 files changed, 561 insertions(+), 20 deletions(-)