Gracias, compañeros.
Es que yo vengo utilizándolo desde hace tiempo, cuando apenas sabía nada de CSS (y no es que ahora sepa mucho más
). Pero cuando empecé a preocuparme y estudiar un poquito, vi que no aparecía por ninguna parte y que todo el mundo tiraba del a:active.
Por eso quería consultarlo, antes de seguir cometiendo un posible error.
Muchas gracias y Feliz Navidad a todos.