Display real-time percentage in paused mode, if different than 100%
Display real-time percentage in paused mode, if different than 100%

PiperOrigin-RevId: 474519561
Change-Id: I54eea97f305dc9b57b9513d6ab5cd75368c2cd45

deepmind/mujoco,deepmind/mujoco,deepmind/mujoco,deepmind/mujoco,deepmind/mujoco