changing css file name in the HTML file