Hi,
If i understand you correctly, when you log in the issued PC, the fonts size is normal, but when the domain user log in the PC, the menu bar font size is small, right?
How did the user change the menu bar font in the PC? We could change it through
personaliza-->Windows Color, change the Item to menu, then choose the font size as below:

Please feel free to let us know if you need further assistance.
Regards.
Please remember to mark the replies as answers if they help and unmark them if they provide no help. If you have feedback for TechNet Support, contact tnmff@microsoft.com