pgAdmin 4 commit: Use our own doc theme.

2019-07-25 Thread Dave Page
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

pgAdmin 4 commit: Use our own doc theme.

2019-07-04 Thread Dave Page
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|