In an effort to speed things up, I took the advice found in various threads here to remove all unneeded fonts.
And that resulted in my inadvertent removal of the system font NOF 11 uses for the currently active control panel. Which in turn has resulted in that panel using something else which is huge (pixel wise) and now the panel takes up nearly a third of the screen. Resizing it doesn't help because it squishes everything inside into an unrecognizable mashup.
So. Does anyone know what that system font is called?
Alternatively, does anyone know how to adjust the font currently in use on the active control panel?