adding style file for html manuals and such