molto probabilmente hanno usato javascript
il menu si potrebbe realizzare anche con i css
cmq su html.it vedi la sezione javascript, ci sono molti esempi di menù da scaricare