Made nav highlight work

Used a PHP switch to do it.