new favicons; new colors; start/stop rather than *server in Makefile; js anchorscrolling and highlighting