mouse_wheel_change_face_size

Reads the state of the mouse wheel and uses it to either increase or decrease the face size.