new pdf crawler + pdf2text script + small css change for header