Isolated Javascript source from stand-alone HTML file