[feedback] underline links

For those of us who are used to browse the Web with no-underlined links,
it comes as a surprise to get to the W3C website to see links with
underlines. I added the following in my own firefox user style sheet:

@-moz-document url-prefix(http://www.w3.org/) { 
  a:link, a:visited { border: 0px!important; }
}

In addition, looking at a specification like
http://www.w3.org/TR/ElementTraversal/
there is too much spacing for <a ..><code>Foo</code></a>

Philippe