initial commit of style file for CoqTour.html