html.pgf.php: Added Input many styles and scripts