For the onmouseover effects, the following line is important in order to be functional in Internet Explorer:

div#links a:hover { border-left: 1px; }