Renamed main CSS doc, for easier URLing