Change the size of a Stock Font ?

I am retrieving the DEFAULT_GUI_FONT font as follwos :

Is it possible to make a copy of the DEFAULT_GUI_FONT font and then change the size of the copied font keeping all the other attributes of the DEFAULT_GUI_FONT ?

I just want the exact DEFAULT_GUI_FONT but, a bit smaller in size.

Thanks.