Comments by Wolfram Steinke (Top 1 by date)

I'll give that a try. The problem with the stylesheet is that it is provided by another party and may be changed by them so I don't want to change as well. But I can raise it as a bug I guess.