ok, perfetto....funziona

un'altra cosa: se io volessi modificare questo menu con i css, per cambiare per esempio il margine tra un pulsante e un altro, come dovrei intervenire?

grazie ancora