further cleanup of index.html
slight formatting change in inherits.js