The link didn't work but I would say to start with half a teaspoon. It really doesn't take much. Let that run for a week or so and then see what the pH is. If it's dropped quite a bit, add a little more and check again. it will take a little trial and error.
Even if they don't have marine fish, crushed coral is also used by a lot of people that keep cichlids to keep their pH in the high 7s to low 8s that cichlids prefer.