Hi.
Have you asked your son if he had to change any of the graphics settings when he loaded Portal?
If you right click on the desktop, one of the options should be Screen Resolution - select that.
The resolution should normally be set to the (recommend) values - see in the drop down list.
Then click on "Make text and other items smaller or larger"
It is best set to 100%
Does that make any difference?
Brian