/* negative values for border widths are forbidden */
a { border-bottom-width: -1px }