SI te fijas en el firebug, verás que cuando pasas el ratón el enlace cambia de clase, o más bien le añade una clase a éste, por lo que está claro que es javascript, porque CSS no puede hacer eso.
Imagino que el JS para hacer eso es este:
http://www.deben.com/javascript/script.js