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

From: Dave Page <[email-masked]>
Date: Thu, 25 Jul 2019 09:23:20 +0000

Use our own doc theme.

Branch
------
electron2

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=abc4eb5f6426a8d9842c7f6af825d75b6cff5851

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