The margin top of "line start" and "line end" labels in "Style" panel is too big

Preflight Checklist

• I agree to follow the Code of Conduct that this project adheres to.
• I have searched the issue tracker for a feature request that matches the one I want to file, without success.

You must agree to search and the code of conduct. You must fill in this entire template. If you delete part/all or miss parts out your issue will be closed.

Describe the bug
The margin top of "line start" and "line end" labels in "Style" panel is now 10px, too big to see the entire labels.

To Reproduce
Steps to reproduce the behavior:

1. Click on an existing line in the canvas.
2. Check the "line start" and "line end" labels in "Style" panel.

Expected behavior
The margin top of "line start" and "line end" labels in "Style" panel should be about 7px.

Screenshots
If applicable, add screenshots to help explain your problem.

draw.io version:

• 28.1.2

Desktop:

• OS: Windows

Additional context
I think, to repair this issue, in the function BaseFormatPanel.prototype.addLabel in .\src\main\webapp\js\app.min.js, g.style.marginTop = "10px"; should be changed.

Start in .\src\main\webapp\js\app.min.js at BaseFormatPanel.prototype.addLabel and inspect the marginTop assignment. Reproduce the issue by selecting an existing line and checking the Style panel's "line start" and "line end" labels. Done means the labels are fully visible with approximately 7px of top margin.