Fraction of space in the aquarium taken up by coral