Making the change you suggest to the general style sheet will cause problems on other browsers.
We will include an IE specific change in the next update.
In the meantime you can implement the change locally, by adding a file with a .msie.css extension in your project web folder. I suggest you simplify it as follows:
For best results, use the Firefox browser..