Some javascript fixes for older IE.