Peter Eisentraut f6f9f8a24c doc: Tweak CSS ... Tweak CSS a bit to match latest similar changes to web site style. Also move some CSS out of the HTML to the stylesheet so that the web site stylesheet can override it. This should ensure that notes and such are back to being centered.		2017-04-12 15:41:41 -04:00
..
src	doc: Tweak CSS	2017-04-12 15:41:41 -04:00
bug.template	Stamp HEAD as 10devel.	2016-08-15 13:49:49 -04:00
KNOWN_BUGS	Remove extra newlines at end and beginning of files, add missing newlines	2010-08-19 05:57:36 +00:00
Makefile	Remove maintainer-check target, fold into normal build	2013-10-10 20:11:56 -04:00
MISSING_FEATURES	Remove extra newlines at end and beginning of files, add missing newlines	2010-08-19 05:57:36 +00:00
TODO