[racket-dev] Fix for PR13305 displays oddly in Opera

Hi all,

A few days ago, PR 13305 was fixed in commit
29031f0972ead0d3cd26d61f163b5e5b59e9ffce. Unfortunately, the fix makes
some identifiers in the docs display oddly in Opera. I've attached some
screenshots that demonstrate the issue.

Cheers,
Asumu
-------------- next part --------------
A non-text attachment was scrubbed...
Name: toc.png
Type: image/png
Size: 9902 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130215/5b1ea608/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: broken-toc.png
Type: image/png
Size: 10080 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130215/5b1ea608/attachment-0003.png>