Fix toolbox scaling

On Windows, one can set all programs to a higher scale. Toolboxes look pretty bad then, because the size is fixed but the font is not.