I've decided to give up on a couple of CSS bugs that have been driving me bonkers.

• the IE float bug (5.5 and 6.0)
• the Mozilla vertical rounding bug

There is no workaround for the IE bug, other than to not use floats, which I'm not willing to do, since the alternative, absolute positioning, has problems of its own. I did fix the Mozilla bug by changing the padding in the problem boxes from relative (em) to fixed (px).

Apparently, floats are also problematic for Opera 5, to the point where they're unusable. I've decided that people with oddball browsers like this will just have to live with it if they don't work properly. I'm learning what it's like to live in web developer hell.