That should be u element.

Related to 0005215

No, we should absolutely positively most definitely not replace occurrences of the "u" element with <span style="text-decoration: underline;">foo</span>. That would be ludicrous.

The point of CSS is to give things structural meaning. So we should be saying <span class="issue_status">foo</span> and defining a rule ".issue_status { text-decoration: underline; } in the stylesheet" (or not, given 0005215).

That sounds fine too. You are correct that it's better to use a style sheet than inline styles. Thanks for the quick response!

I just commited in CVS the proposed solution, but with a different underlining style (dotted) so it is easier to distinguish this decoration from a real link.