Double underline in demo

[John]

Probably a bug, appeared recently.

This is HTML abbreviation example.

HTML is abbreviation and should be underlined with single dotted line. But actually it underlined with double dotted line. (Checked in Chrome and FF).

Could be fixed with

text-decoration: none

[Vitaly Puzrin]

That's a twitter bootstrap's style. Works as intended.