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