-
Matthias Clasen authored
Empty underlines are hard to make out. Since we get somewhat unreliable section information from the CSS parser, we just make sure that we always underline at least one character.
036ee7a6
Empty underlines are hard to make out. Since we get somewhat unreliable section information from the CSS parser, we just make sure that we always underline at least one character.