/* responsive.css not preserved in archive; intentionally empty */