mysterious case of how did the main.css get renamed?