Dunedan 52ee6ad470 Fix element positions after new font rendering ...

This fixes the positions of elements which changed as part of
734386ce9f.

2025-05-17 10:02:25 +02:00

..

modern

Fix element positions after new font rendering

2025-05-17 10:02:25 +02:00

functions_msgbox.js

…

guitags.js

…

l10n.js

…

mod.js

…

terms.js

…

utilities.js

…