Cita:
Iniciado por David el Grande 
Se puede hacer con Javascript o CSS (yo te recomiendo este último).
Efectivamente. Y en este caso concreto está hecho con javascript
:
<script language='JavaScript' src='/comun/coolmenus4.js'>
</script>
<script language='JavaScript' src='/comun/menu.js'></script>
Esto es lo que aparece en su código. Sigue sus
enlaces y verás cómo está hecho.