move doxygen work into doc/html Makefile
make all web pages use both doxygen & styles css pages, to avoid display discrepancies