Program for reading an HTML file and writing a corresponding formatted stylesheet