removal of copyleft notice from diff.css and nav.js because they will now be inserted into the HTML files