forse sbaglio qualcosa, ma l'esempio dato da piero funziona per le pagine statiche.. dove a ciascuna pagina l'id viene impostato con il valore "current" al pulsante che si riferisce alla pagina aperta.. mentre l'altro esempio dove si usa il php sembra non funzionare, almeno questo appare dopo diversi tentativi e modifiche.

UP per qualche altra soluzione..