move the mouse to move the dolphin. use up and down arrow keys to change the size.
most of scripting by @drmcw some scripting by me - @wolf188022 art by me - @ wolf188022
