Editor Tabs looks greyed out

[jukzi]

in the past month the File names in the editor changed from black to grey or the used font got thinner then a pixel. Was that intentional? looks less readable now (I20240811-1800): before (I20240710-1800):

Sadly the screenshots are not so good to see the difference due to subpixel rendering. But it was basically the first thing that fleshed my eyes after having not used eclipse for a month.