Le samedi 22 avril 2023 à 20:46:55 UTC+2, Martin Budaj <m.budaj@gmail.com> a écrit :
On Sat, Apr 22, 2023 at 4:39 PM david Le berre via Therion <therion@speleo.sk> wrote:
_______________________________________________Dear all.Little issue: I can change all text size in the header except the scale bar one's.After a few hours of digging in Tex and exemple I can not find the way.Any solution?Thanks in advance.David
Therion mailing list
Therion@speleo.sk
https://mailman.speleo.sk/listinfo/therion
_______________________________________________
Therion mailing list
Therion@speleo.sk
https://mailman.speleo.sk/listinfo/therion
Therion mailing list
Therion@speleo.sk
https://mailman.speleo.sk/listinfo/therion