The size (height) in pixels of the digits in the time
counter in a video playback popup.
Child of: <popup>
Parent of: Nothing
See also: <time_height>,
<time_width>, <time_x>, <time_y>
Example:
<time_size>30</time_size>