9 Commits

Author	SHA1	Message	Date
Dave Page	1ca9912987	Cleanup some duplicated styles.	2020-06-17 11:31:07 +01:00
Dave Page	5b00ad0336	Remove extra whitespace.	2019-11-11 14:55:53 +00:00
Dave Page	314990447c	Ensure compatibility with older versions of Sphinx.	2019-11-11 14:54:43 +00:00
Dave Page	664d9a2144	Support older versions of Sphinx	2019-11-11 14:51:11 +00:00
Dave Page	475a717cd6	Add navigation links to the bottom of the docs, and embiggen the font a touch.	2019-11-07 16:37:54 +00:00
Dave Page	1795141aec	Minor doc styling tweaks.	2019-08-22 15:11:59 +01:00
Aditya Toshniwal	a850e7bd5a	Update the documentation for pgAgent to clarify Batch jobs won't run on remote servers. Fix minor css issue in docs.	2019-08-12 11:45:54 +05:30
Dave Page	6a2ba22f75	Fxi a couple of colors in the doc theme per Aditya.	2019-07-05 09:32:19 +01:00
Dave Page	3487b3360e	Use our own doc theme.	2019-07-04 14:10:01 +01:00