Make tab characters a little brighter

They were adequate for PHP code, but when viewed in web-mode they were
very difficult to see.