Subject: pgAdmin 4 commit: Use our own doc theme.

From: Dave Page <[email-masked]>
Date: Thu, 04 Jul 2019 13:10:04 +0000

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(-)