Add navigation links to the bottom of the docs, and embiggen the font a touch.
Branch ------ master Details ------- https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=475a717cd664eed8bc9fc0f196e86a6b5b616407 Modified Files -------------- docs/en_US/theme/pgadmin4/layout.html | 231 ++++++++++++++++++++++++++++- docs/en_US/theme/pgadmin4/static/style.css | 20 ++- 2 files changed, 244 insertions(+), 7 deletions(-)
