/* original stylesheet not archived; intentionally empty */