Format document to PhET standards, and remove Random number generator