pga3: Online Help

Hi guys,

I've updated pga3 to use
http://www.pgadmin.org/pgadmin3/doc.php?version=current&file= as the
default file location. This is a script which will display the specified
file, at the specified version (or current as specified in the URL).
This is a modified version of the code used at
http://www.postgresql.org/docs/view.php?version=7.3&idoc=0&file=index.ht
ml

Anyway, had a few thoughts/issues:

1) We could direct the user to the appropriate docs for the server
version that they're connected to. This makes the URLs a lot more messy
though and harder to setup custom help sites.

2) The HTML code doesn't seem to like stylesheets :-(. It appears to
honour font definitions, but not the colours.

Thoughts or comments?

Regards, Dave.