Appunto e devo per forza riformattare il border, visto che l'ho definito nel CSS generale, ma a quanto pare il layout di default di IE non si può ridefinire, o almeno io non ce l'ho fatta.