Improve toolSectionTitle font size

[madsi1m]

The tools menu looks like a visual mess with both spacings and different font sizes. This tiny change makes it all the same size which reduces the visual mess and allows us to clearly see the tools menu in a more eye pleasing way.

Before	After

How to test the changes?

(Select all options that apply)

• I've included appropriate automated tests.
• This is a refactoring of components with existing test coverage.
• Instructions for manual testing are as follows:
  1. Open tools tab and look at the menu on the left.

License

• I agree to license these and all my past contributions to the core galaxy codebase under the MIT license.

[ahmedhamidawan]

Thank you @madsi1m !

I worry if the tool section names are almost too unreadable now though?

[madsi1m]

I think it works well, the screenshots don't really do it justice. In GalaxyAU we have heaps of tools and with the varying font sizes makes it hard to visually scan through.

[jmchilton]

I'm not one that should comment because my design sense is lacking - but I did want to chime in and say I agree with @ahmedhamidawan. I acknowledge there is an issue in the current/before but the after seems less intelligible to me - this is just based on screenshots though - maybe the live page is improved. I do hate to hit and run without having a concrete suggestion for improvement though 😭.

[ahmedhamidawan]

I've tried it out again and reckon that it actually looks readable. Thank you @madsi1m !