Comment 7 for bug 415814

I'm sorry that I assumed the header cells were bolded in the site style sheet. It's a waste of perfectly good bytes to un-bold them in the reset style sheet and then re-bold them in style-3-0.css, but I guess it saves you from making the same mistake I just made, i.e. having to remember that all browsers do it. :-)