overflow: auto; causes too much trouble with existing CSS