This page is used to set up the parameters for a web page that will generate
hundreds of different colored dots. Here we can determine the number of groups of 100
dots to generate, the seed value for the random number generator used to
generate the dots, and the goal distribution of the various colors of dots.