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