Avoid jagging of the video slider when time is updated
This can be simply fixed by using a fixed width font for the time label.
Edited by Rafael Laboissière
gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.
This can be simply fixed by using a fixed width font for the time label.