Fix line number alignment in SMT interface

[BookWood7th]

…lignment

Related Issue

This pull request addresses #3557.

Intended Change

This changes the font size of the line numbering in the information window of the SMT translation interface.

Type of pull request

• Bug fix (non-breaking change which fixes an issue)
• Refactoring (behaviour should not change or only minimally change)
• There are changes to the (Java) code

Ensuring quality

• I have tested the feature as follows: KeY test suite and checking alignment for different font settings
• I have checked that runtime performance has not deteriorated.

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 38.33%. Comparing base (c009ed7) to head (a6a93d5).
Report is 20 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##               main    #3559   +/-   ##
=========================================
  Coverage     38.33%   38.33%           
+ Complexity    17259    17258    -1     
=========================================
  Files          2111     2111           
  Lines        127632   127632           
  Branches      21461    21461           
=========================================
  Hits          48926    48926           
  Misses        72695    72695           
  Partials       6011     6011           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[WolframPfeifer]

Thank you!