Do we need to keep all this commented-out css?