Ajax and css changes

Updated basics1.html to be loaded by Ajax; moved the loginCheck to a
separate JS file to be called automatically in the head of index.html;
added CSS to remove deprecated tags