make docs look nice in IE5.5