or inteso come o questo o quello
se vuoi colorare in due modi diversi devi utilizzare semplicemente due classi diverse:
se $pagina == home or $pagina == b allora <link menu1 class="selezionato_green"...
se $pagina == b allora <link b class="selezionato_red"...
ciak