Ciao Giusebos,
no sono ancora in locale, fra qualche giorno dovrei muovermi on-line.
Che tonto che sono, ho visto solo adesso che in fondo all'articolo c'era il link per la relativa discussione (grazie di avermelo fatto notare) e lì ho anche trovato la soluzione al mio problema. In sintesi c'era da inserire l'identificatore univoco di classe nel php
<nav class="navigation" role="navigation" id="navigation">Ora funziona