Removing obsolete mystyle.html