Minor CSS fix for our user documentation (for Internet Explorer 10).