changing which of the top buttons is a different color in php-generated pages